Ticket #6064 (closed feature request: invalid)
InstanceD declaration does not allow for explicit TyVarBndrs
|Reported by:||goldfire||Owned by:||goldfire|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
The definition of InstanceD does not allow for explicitly-kinded type variables. Though it is possible to use SigT to give kinds in places, GHC currently does not allow undeclared kind variables to appear there.
I propose changing the definition of InstanceD to be as follows:
type Dec = ... | InstanceD [TyVarBndr] Cxt Type [Dec] ...