Re: [Haskell-cafe] existential types

14 Feb 2008

      From: Jake McArthur <jake.mcarthur@gmail.com>
Date: February 13, 2008 7:04:49 PM CST
To: Felipe Lessa <felipe.lessa@gmail.com>
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 <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