Hask.Functor.Faithful
Fully Faithful Functors
class
FullyFaithful
f