A way to transform one Functor into another while preserving internal structure.