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.
A universally quantified identity function
A universally quantified identity function