Stlc.Types
data Type
typeinference
typeinfer
unify
applyctx
emptyctx
incrementindices
variables
normalizeTemplate
applynormalization
data Top
type Context
type Variable
type Substitution