On Feb 13, 2008, at 11:15 AM, Felipe Lessa wrote:

On Feb 13, 2008 2:41 PM, Jake McArthur <jake.mcarthur@gmail.com> wrote:

Now we can have NumericLists like [1 :: Int, 5.7 :: Double, 4%5 ::

Rational].

No, we can't =). Using

data NumericList = forall a . Num a => N [a]

[etc.etc.etc.]

Oops again. Maybe I just shouldn't say anything to anybody on the Internet within an hour of waking up in the morning! ;)

- Jake