add $a b = (+ $a b) main = (add 9 4)