---------------------------------
  Gate in a few more instance decls
  ---------------------------------

When we have
	instance T a where...

we need to suck in the instance decl rather more aggressively than we
were.  (A case I hadn't thought of because it only happens with
undecideable instances.)