There should be a type in the types subpackage that allows universally quantified types (aka *Scheme) to be a Type. This would be quite helpful in implementing systems that take higher ranked types and higher kinded types.

Then maybe some day we can look into implementing a fast typeclass implementation (or some other kind of HKT constraints)