[Haskell-cafe] existential types

[Henning Thielemann]

On Wed, 13 Feb 2008, Simeon Mattes wrote:

> I have found that ghc has adopted the existential data constructors. Because it
> was first time I have heard this term I have found some articles about it. The
> less complex for me was the following explanation
>
> data Worker x y = Worker {buffer :: b, input :: x, output :: y}

Seems to be the example which is also presented here:
  http://www.haskell.org/haskellwiki/Existential_type