Non-TYPE-kinded type parameters.

[typeswitch-dev]

We can have stack type variables and resource type variables in type signatures, but we can't pass these variables (or stacks or resources) as arguments to type constructors (or resource constructors). This would be very useful.