Minimal Incomplete Definition

[deniok]

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.livejournal.com]

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

[deni-ok.livejournal.com]

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