Re: Thanks, and new question re existensials

[Koen Claessen]

 | >   data Expr a = Val a | forall b . Apply (b -> a) b

Sorry, I meant:

  data Expr a = Val a | forall b . Apply (Expr (b -> a)) (Expr b)

:-)
Koen.

--
Koen Claessen         http://www.cs.chalmers.se/~koen     
phone:+46-31-772 5424      e-mail:[EMAIL PROTECTED]
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden