From: Jake McArthur Date: February 13, 2008 7:04:49 PM CST To: Felipe Lessa Subject: Re: [Haskell-cafe] existential types On Feb 13, 2008, at 11:15 AM, Felipe Lessa wrote:

On Feb 13, 2008 2:41 PM, Jake McArthur 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