On 5/27/08, Darrin Thompson <[EMAIL PROTECTED]> wrote: > On Tue, May 27, 2008 at 3:40 PM, Kim-Ee Yeoh <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
