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

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