Re: Re: [Haskell-cafe] Aren't type system extensions fun? [Further analysis]

On 5/27/08, Darrin Thompson wrote:

On Tue, May 27, 2008 at 3:40 PM, Kim-Ee Yeoh wrote:

...

What we want is the callEE to choose x_t since callEE needs to instantiate x_t to Char and Bool. What we want is (x_t -> x -> x) -> (Char, Bool). But that's just (forall x. x -> x) -> (Char, Bool).

Nice. That's the first time any of this really made sense to me. Is it possible to construct valid argument for that function?

Yes, it's easy, especially since there is only one total function of that type: id -- ryan