I was wondering if there are any plans to introduce some of the new Haskell goodies into Clean -- specifically Haskell has introduced rank 2 polymorphism, and multi-parameter type classes. The latter in particular are very nice (despite the theoretical decidability issues). If so when? graham