:: (a -> b) -> (c -> a) -> c -> b package:relude

Function composition.
Coercible composition. This function allows to write more efficient implementations of function compositions over newtypes.