This provides a Data.Composition module, much like the Haskell
composition package
or the
composition-extra
package. As of now, it's just a thin wrapper around
hezarfen with names I like.
First, install hezarfen. Then, in the cloned directory:
idris --install composition.ipkg
As an example, you could replace
f = \x, y => 2 * y + x
with
f = (*2) .* +
You can find documentation here.