kind inference

[Ross Paterson]

On Thu, Nov 17, 2005 at 12:46:31PM -0000, Simon Peyton-Jones wrote:
> On 17 November 2005 12:45, Ross Paterson wrote:
> | 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?
>
> one could. but GHC doesn't.  feels low prio to me...

It would probably not make many more practical programs legal, but it
would be less arbitrary and easier to explain.