sample.stt

let a : @{string} = #{string};
let b : @{int} = #{int};
let c : @{int -> int} = #{int -> int};
// identity function
let d : @{int -> int} = λ x.x;
let e : @{int} = (c b);
let f : @{int} = (g (d b));
let g : @{int -> int} = (h #{int});
let h : @{int -> int -> int} = #{int -> int -> int};

run a;
run (d a);
run c;