org.specs2.internal.scalaz
A function type encoded as a natural transformation
A universally quantified identity function