Open
Description
hoistLiftApp :: forall f g a. f (g a) -> f (App g a)
should be
hoistLiftApp :: forall f g a. Functor f => f (g a) -> f (App g a)
because it is implemented by:
hoistLiftApp = map wrap
Also,
hoistLowerApp :: forall f g a. f (App g a) -> f (g a)
should be
hoistLowerApp :: forall f g a. Functor f => f (App g a) -> f (g a)
because it is implemented by:
hoistLowerApp = map unwrap