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

[Matthew Sackman]

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/