Control.Functor.Pointed
class Pointed f
class Copointed f
class PPointed f
class PCopointed f