; both branches of if-then-else have to have the same type
(if true
    1
    false)