Control.Comonad.Parameterized
class PCopointed f
class PComonad f