Parametric types / type constructor types are not specified

There is currently no way in the type schemas to represent a "type constructor" or algebraic data type or whatever term. The closest the schema currently affords is the alias type, but that is effectively equivalent to a 0-argument type constructor, and thus is not nearly as useful.