Data.Derive.Traversable
makeTraversable
makeTraversableN