Control.Comonad.HigherOrder
class HFunctor f
class HCopointed w
class HComonad w