从左到右的构图

Control.Category 定义了 (>>>) ，当专门用于函数时，它是

-- (>>>) :: 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)

例：

sqrt >>> (+ 1) $ 25    --    6.0