ychr-0.1.0.0: test/golden/stlc/twice.expected
R = stlc:ok(stlc:arrow(stlc:arrow(stlc:tvar(0), stlc:tvar(0)), stlc:arrow(stlc:tvar(0), stlc:tvar(0))))
R = stlc:ok(stlc:arrow(stlc:arrow(stlc:tvar(0), stlc:tvar(0)), stlc:arrow(stlc:tvar(0), stlc:tvar(0))))