fn id x = x
fn plus (x: int) (y: int) = x + y
fn main = plus (id 2) 7