Module types 

HM type system: scalar unification + arity synthesis.

Re-exports

pub use ty::Scalar;

pub use ty::Scheme;

pub use ty::Subst;

pub use ty::Type;

pub use ty::TypeVarId;

Modules

infer

Algorithm-W-style inference over scalar types, with bottom-up arity synthesis and combinator arity checking.

ty

Type representation for the HM scalar layer.

unify

Scalar unification with occurs check.