Control.Functor.Full
class Full f
class Faithful f