Re: kind inference

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?