kind inference

[Ross Paterson]

On Thu, Nov 17, 2005 at 12:32:37PM -0000, Simon Peyton-Jones wrote:
> Yes it's deliberate.  (Turned out to be easy and convenient.)   Yes it
> goes beyond H98, so GHC types a few too many programs even in H98 mode.
> I guess I should document it.

I think the H98 rule is arbitrarily restrictive.  But what about going
further and considering the occurrences of type constructors in instance
declarations, type signature declarations and expression type signatures?