Rank2
class Functor g
class Apply g
class Applicative g
class Foldable g
class Traversable g
class Distributive g
class DistributiveTraversable 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