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