Add monadic versions of many functions

[chshersh]

We have cmap and cmapM but somehow all other versions are missing. So let's add them as well:

cfilterM :: Monad m => (a -> m Bool) -> LogAction m a -> LogAction m a
cmapMaybeM :: Monad m => (a -> m (Maybe b)) -> LogAction m b -> LogAction m a
divideM :: Monad m => (a -> m (b, c)) -> LogAction m b -> LogAction m c -> LogAction m a
chooseM :: MonadM => (a -> m (Either b c)) -> LogAction m b -> LogAction m c -> LogActoin m a

In addition we can add several helper LogAction transformations:

pureLogAction   :: LogAction m (m msg) -> LogAction m msg
impureLogAction :: LogAction m msg -> LogAction m (m msg)

[piq9117]

If no one is working on this, can you assign it to me?

[chshersh]

@piq9117 To my knowledge, nobody is working on this. So, sure, go ahead!