Am Montag, 5. April 2004 18:20 schrieb ross at soi.city.ac.uk:
> [...]
> newtype Endo a = Endo { runEndo :: a -> a }
Is "endo" a usual mathematical term? If not, it probably would make many
mathematicians think that it means "endomorphism" but Endo is not necessarily
an endomorphism.
Wolfgang