] On Behalf Of Ross
| Paterson
| Sent: 29 September 2006 10:37
| To: haskell-cafe@haskell.org
| Subject: [Haskell-cafe] existential types (was Re: Optimization
problem)
|
| On Thu, Sep 28, 2006 at 03:22:25PM +0100, Simon Peyton-Jones wrote:
| | Does anything go wrong with irrefutable patterns
On Fri, Sep 29, 2006 at 11:19:26AM +0100, Simon Peyton-Jones wrote:
I must be missing your point. Newtype is just type isomorphism; a new
name for an existing type. But there is not existing type exists x.
T(x). So it's not surprising that newtype doesn't support
existentials.
And yet