XFunctor
shapely
xmap
Contravariant Covariant XFunctor