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]

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