An endomorphism is a mapping from a category to itself.
An endomorphism is a mapping from a category to itself. It looks like scalaz already staked out "Endo" for the lower version.
The typelevel Predef additions which makes literal types more reasonable to use.
The typelevel Predef additions which makes literal types more reasonable to use.