scalaz
Endomorphisms have special properties among arrows, so are captured in this newtype.
Endomorphic[Function1, A] is equivalent to Endo[A]
Endomorphisms have special properties among arrows, so are captured in this newtype.
Endomorphic[Function1, A] is equivalent to Endo[A]