Control.Monad.Hyper
class ContraFunctor f
type Hyper h a
type Hyp e a
data PHyper h a b