Typing
Synopsis
mgt :: IP -> Type Source #
infer :: String -> Type Source #
toUp :: IP -> UP Source #
Turn a type inference problem into a unification problem.