a : fn int, int -> int = fn b: int, c: int -> int {
   ret b + c
}

print a(1, 2) + 1

b := fn c: fn int -> -> int {
    c(2)
    ret 1
}

c := fn a: int {
    print a
}

b(c)

// print b(fn a: int -> {
//     print a
// })