Re: [Haskell-cafe] overloaded list literals?

Am Montag, den 06.09.2010, 11:47 +0100 schrieb Neil Brown:

I would have thought you have two obvious choices for the type-class (things like folding are irrelevant to overloading list literals):

class IsList f where fromList :: [a] -> f a

or:

class IsList f where cons :: a -> f a -> f a empty :: f a

We should definitely get rid of these Is* class identifiers like IsString and IsList. We also don’t have IsNum, IsMonad, etc. Best wishes, Wolfgang