Scalaz's BiNaturalTransformation, but refl is implicit.
Scalaz's NaturalTransformation, but refl is implicit.