You can also do sequencing (assuming applicative order) and conditionals:

  'a; b' ==> (fn x -> b) a

  true  = fn x -> fn y -> x
  false = fn x -> fn y -> y
  if    = fn p -> fn -> c -> fn a -> p c a