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

Daniel Fischer daniel.is.fischer at web.de
Tue Jun 1 17:33:50 EDT 2010

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.

More information about the Haskell-Cafe mailing list