[Haskell-cafe] Why this existential type could not work?

[Philipp Stephani]

Magicloud Magiclouds <magicloud.magiclouds at gmail.com> schrieb am Thu Aug 21
2014 at 08:37:09:

> Hi,
>
>   For example, code like this:
>
> newtype Sealed = Sealed { unSealed :: forall a. SomeClass a => TVar a }
>

I think this should be written as

data Sealed = forall a. SomeClass a => Sealed { unSealed :: TVar a }
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140821/0a0e5629/attachment.html>