checkModule, envsModule,
checkExpr, checkType,
primCoercionError,
Menv, Venv, Tvenv, Envs(..),
CheckRes(..), splitTy, substl) where
checkModule, envsModule,
checkExpr, checkType,
primCoercionError,
Menv, Venv, Tvenv, Envs(..),
CheckRes(..), splitTy, substl) where