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)
There should be a type in the
typessubpackage that allows universally quantified types (aka*Scheme) to be aType. 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)