import $"preludes/l1.tlc";

let add(x: I64, y: I64): I64 = x + y;

101 `add` 25 `add` 40;