Simplify scope result pattern: result type is inferred, only Exp needs
to be parameterized.