It’d be great if you could.  I’m about to commit a patch, but it doesn’t affect this much.  (It’s just that getting the patch right made me fall into the swamp)

S

From: Richard Eisenberg [mailto:eir@cis.upenn.edu]
Sent: 23 June 2016 14:17
To: Simon Peyton Jones <simonpj@microsoft.com>
Cc: ghc-devs@haskell.org
Subject: Re: isInvisible

 * Required

 * Specified

 * Inferred

I like that. Much more self-explanatory.   Shall we go for it?

Sure. Now, who gets to do the work? :)

Are you in the middle of a refactor around this? If not, I can do this this afternoon.

Richard