Re: [Haskell-cafe] Scope of type variables in associated types

On Mon, May 21, 2007 at 02:08:13PM +0100, Matthew Sackman wrote:

Further, it is *impossible* to define mkTS'' for the extra ^^^^ -- should be mkOS''

But actually, in that code, the data declaration was never even used either - all that is needed is: instance (OneStep'' a) => OneStep'' (OS'' a) But it does rather leave a mess in the code. Matthew -- Matthew Sackman http://www.wellquite.org/