Minimal Incomplete Definition

[deni_ok]

data Id a = Id {runId :: a} deriving (Eq,Show)

instance Traversable Id where
sequenceA (Id x) = pure Id <*> x

instance Functor Id where
fmap = fmapDefault

instance Foldable Id where
foldMap = foldMapDefault
Какие неожиданные эффекты будут сопровождать следующий вызов, и в чем их причина?

GHCi> traverse Just (Id 5)

Comments

[sassa_nf]

если студни читают, то может коменты скринить изначально?

[deni_ok]

Нет, я просто ту задачу решил постфактум включить в текущее дз - уж больно хорошо она туда подходила. Обычно задачи, которые я здесь публикую, мы на практиках разбираем.