Functional Programming, Parametricity, Types ∘ YOW! West, Perth, Australia ∘ 2016-05-03