:: (a -> m b) -> (b -> m c) -> (a -> m c) -package:base-compat

Left-to-right composition of Kleisli arrows. '(bs >=> cs) a' can be understood as the do expression
do b <- bs a
cs b
Left-to-right Kleisli composition of monads.
(↣) = (>=>) (U+21A3, RIGHTWARDS ARROW WITH TAIL)