Defines ways to transform a given type constructor F
Transforms an F[A] value into an F[B] value given a pair of functions from A to B and from B to A.
F[A]
F[B]
A
B
Some examples