Data.MTraversable
type family AppMap fs t
type family Domains fs
type family Codomains fs
class MTraversable f fs t
class UnAppMap fs t fs'
type family Map as t
type family SequenceMap as t
class SequenceMapId as t
class GMTraversable f fs t
class GFMTraversable f fs t
class GFPMTraversable n fs t
type family ExpandFieldFunction f ps :: [*]
class AdaptFieldFunction f fs t