Chain higher order Fun types
Merge branch 'master' into FunctionChains

Conflicts:
	libs/base/Data/Fun.idr
Merge pull request #927 from JanBessai/FunctionChains

Chain higher order Fun types