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