scalaz
A properly universally quantified constant function.
The constant functor that maps every type to A
A