On 1/31/07, Bulat Ziganshin <[EMAIL PROTECTED]> wrote: <snip>
i hope that now my idea is clear
Yes - you've reiterated Wadler's original design, with an automatic creation of a type class. Erwig and Peyton-Jones, _Pattern Guards and Transformational Patterns_ (http://research.microsoft.com/~simonpj/Papers/pat.htm) mentions problems with equational reasoning raised by this approach. /g -- It is myself I have never met, whose face is pasted on the underside of my mind. _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
