Module types 

Internal type representation used by the inferencer/checker.

We model types as either ground constructors (Int, List[T], …) or unification variables. The unifier module handles solving.

Structs

EffectSet

Effect set with an optional row variable.

Scheme

A polymorphic scheme: type with universally-quantified type variables and effect-row variables.

Enums

Prim

Ty

Type Aliases

TyVarId