úÎ ú c Safe-InferredFlipped G for chaining plain functions after a functor in the following way:  5readFile '1.txt' >$> lines >$> map length >>= print lines and  map lengthG are non-monadic functions, but peppering them with returns, as pure ! necessitates, is quite tedious.  In general: -m >>= return . f is the same as m >$> f Left-associatiative, flipped . Corresponds to  $Right-associative infix synonym for . Application of  to Kleisli composition  Use is analogous to that of , e.g.  P f :: FilePath -> IO () f = (readFile >=$> lines >=$> map length >=> print)  In general: 0 m >=$> f is the same as m >=> return . f Flipped version of . Flipped version of  .      functor-monadic-0.1.0.0Data.Functor.Monadic Control.Monad>=>>$>$><$<>=$><$=<|>baseGHC.Basefmap>>=>>$<$