Scalaz's BiNaturalTransformation, but refl is implicit.
Scalaz's NaturalTransformation, but refl is implicit.
contravariant G
covariant F
contravariant G
covariant F