generated at
>>>



hs
(>>>) :: Category cat => cat a b -> cat b c -> cat a c f >>> g = g . f

普通にarrow版のただの関数合成