[project @ 2001-01-29 08:42:54 by simonpj]

[project @ 2001-01-29 08:42:54 by simonpj]
Be a bit more liberal about allowing instance decls through.
In particular, allow this:

	instance C a b => C [a] [b] where ...

if we have

	class C a b | a -> b

This is an experimental feature. Furthermore it requires a
little more work (which I have not yet done) to make improvement
work properly.