LambdaCube.Compiler.Infer
inference
neutType'
makeCaseFunPars'