19 Jan
2009
19 Jan
'09
11:34 p.m.
On Thu, 2009-01-15 at 18:10 -0500, Cale Gibbard wrote:
My personal preference would be:
class Monoid m where zero :: m (++) :: m -> m -> m
(in the Prelude of course)
- Cale
I've tried doing this (and making more widespread use of typeclassed operations) by writing my own AltPrelude. Unfortunately there is still a lot of 'unrebindable' syntax (list comprehensions, 'error' forced to exist in Monad, if-then-else not using nearest Bool, etc) which makes this hard to achieve.