Rank2
class Functor g
class Apply g
class Applicative g
class Foldable g
class Traversable g
class Distributive g
data Compose k k1 f g a
data Empty f
data Only a f
data Identity g f
data Product g h f
data Arrow p q a
ap
fmap
liftA3