:: (b -> c) -> (a -> m b) -> (a -> m c) -is:exact package:yjtools