λ(x : Natural)
→ λ(y : Natural)
→ Natural/subtract (if True then x else y) (10 + 20)