Re: [Haskell-cafe] Re: Typeclasses and implicit parameters

2007-09-07 Thread ajb
G'day all. Quoting Chung-chieh Shan [EMAIL PROTECTED]: Yes. You can even do this portably, using nothing unsafe, with Dylan Thurston's technique: That paper gives you a choice between inefficient and leaky. I think I'll take unsafeCoerce#. :-) Cheers, Andrew Bromage

[Haskell-cafe] Re: Typeclasses and implicit parameters

2007-09-06 Thread Chung-chieh Shan
[EMAIL PROTECTED] wrote in article [EMAIL PROTECTED] in gmane.comp.lang.haskell.cafe: That higher-rank type makes all the difference. Yes. You can even do this portably, using nothing unsafe, with Dylan Thurston's technique: Oleg Kiselyov and Chung-chieh Shan. 2004. Functional pearl: Implicit