type xyz n {
    proc plus!(x) { return n + x }

    export plus
}

proc main!() {
    let a = xyz 3::plus!(2)
    let b = xyz 1::plus!(2)
    exit a + b
}