Micro-optimization in simplify of case
Micro-optimization in simplify of case

Don't compute eff' or resultTy' unless you'll need them.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang