Deeper integration with polysemy

[chshersh]

The LogAction data type is defined like this:

https://github.com/kowainik/co-log/blob/746016089a44e06dadf23818044285bd3ab22135/co-log-core/src/Colog/Core/Action.hs#L90-L92

The initial assumption was to make it work with any monad. And nothing stops from specializing the m parameter to the Sem monad from the polysemy package!

Currently we have the following interpreter for the LogAction:

https://github.com/kowainik/co-log/blob/746016089a44e06dadf23818044285bd3ab22135/co-log-polysemy/src/Colog/Polysemy/Effect.hs#L82-L87

This interpreter assumes that that the Sem r monad has an ability to execute monadic effects of type m. However, it seems like it's possible to loose this restriction with the following code:

-- ideas for better names are always appreciated!
type LogActionSem r msg = LogAction (Sem r) msg

runLogActionSem :: LogAction (Sem r) msg -> Sem (Log msg ': r) -> Sem r

So instead of defining LogAction in some arbitrary monad m, you can define LogAction that is capable of using the Sem monad itsefl.