Parametricity, Types are Documentation ∘ YOW! West conference, Perth, Australia ∘ 2014-05-13