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