The Essential Tools of Open-Source : Functional Programming, Parametricity, Types ∘ linux.conf.au FP miniconf, Geelong, Australia ∘ 2016-02-02