Control.Functor.Full
class
Full
f
class
Faithful
f
unmap