Control.Category
defines (>>>)
, which, when specialized to functions, is
-- (>>>) :: Category cat => cat a b -> cat b c -> cat a c
-- (>>>) :: (->) a b -> (->) b c -> (->) a c
-- (>>>) :: (a -> b) -> (b -> c) -> (a -> c)
( f >>> g ) x = g (f x)
Example:
sqrt >>> (+ 1) $ 25 -- 6.0