Recently (23 Jul) i wrote >This is for Haskell-2: > [first question] ... > ... [second question]: >Another hard restriction for an instance context is that all its >variables have to appear after `=>' too. >Say, > class T a b where t :: a -> b > > instance (T a b,T b c) => T a c where t x = t ((t x)::b) >is illegal. Sorry, i remove the second question. Because it appeares nearly sensless: usually, there are many ways from a to c via various b. Which to choose? This is rather hard kind of the instance overlap. ------------------ Sergey Mechveliani [EMAIL PROTECTED]
