Parametricity, Types are Documentation ∘ LambdaJam conference, Brisbane, Australia ∘ 2014-05-09