從左到右的構圖

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