ychr-0.1.0.0: test/golden/stlc/mismatch.goal

stlc:typecheck(quote(app(lit_int(1), lit_int(2))), R)