A data structure representing the Elm types.
Type argument of a polymorphic type.
Maybe Int
--> ConcreteType Int
Maybe a
--> TypeVariable "a"
isParametric : Type -> Basics.Bool
Does it contain lower-case type parameters?
varId : Type -> Maybe Basics.Int
Unwrap the ID of the type variable