some example expressions:

λx: Bool → Nat. x true
\x: Bool -> Nat. x true
(\x: Bool. if x then 0 else 42) false
(\f: Int -> Int. \x: Int. (f x) + 2) (\x: Int. x * 2) 4