Infer Top.LetVal
Infer Top.LetFun