Re: Polymorphic recursive calls possible via type classes

[wadler]

Joe writes:
   
   I forgot to mention that I did try it with hbc:

   ... transcript of working program omitted ...

That's surprising!  I'd be interested to know if `maptry' works,
since in that case it makes sense to run the program, as well
as type it.  Cheers,  -- P