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

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.