Kindly.Rank2
Description
Work in Progress.
type BFunctor b = FunctorOf ((->) ~> (->)) (->) b Source #
bmap :: BFunctor b => forall f g. (forall x. f x -> g x) -> b f -> b g Source #
type BFunctor2 b = FunctorOf ((->) ~> ((->) ~> (->))) (->) b Source #
bmap2 :: BFunctor2 b => forall f g. (forall x x'. f x x' -> g x x') -> b f -> b g Source #