idris-lang/Idris-dev — pull request #927 by JanBessai (2014-02-24 10:50:52+00:00)
Title: Chain higher order Fun types

Adds the ability compose a unary function with a higher order function if both are in Fun ts r representation