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.
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.