Data.Traversable.Deriving

deriveTraversable limitations

deriveTraversable

makeTraverse

makeSequenceA

makeMapM

makeSequence