[Haskell-cafe] A question on existential types and Church encoding

[Daniel Fischer]

On Tuesday 01 June 2010 23:21:35, Dan Doel wrote:
>  I think SPJ is on record as saying it would add a lot of
> complexity to the current GHC type system,

> and I'm inclined to believe him.

In matters concerning the GHC type system, that's a fairly natural stance, 
I think.