sort out the notes from a year ago, and see a piece of code:

(>=>)       :: Monad m => (a -> m b) -> (b -> m c) -> (a -> m c)
f >=> g     = \x -> f x >>= g

is just written differently ( > = > and @ > ).

there is no such operator in Haskell 98.

wonder where this @ > comes from? (so why didn"t I record the provenance a year ago? Pit! )