scalaz
A function type encoded as a natural transformation by adding a phantom parameter.
refl specialized to scalaz.Id.Id.
refl
Reify a NaturalTransformation.
NaturalTransformation
A universally quantified identity function