:: (a -> m b) -> (b -> m c) -> (a -> m c) -package:Agda -package:foundation -package:stack package:basic-prelude

Left-to-right Kleisli composition of monads.