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.
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe