:: (b -> c) -> (a -> m b) -> (a -> m c) package:Agda

Composition: pure function after functorial (monadic) function.