Level-based interpretation of monad transformers
Why do you think that https://github.com/mokus0/monad-loops-stm is a good alternative to monad-levels
Level-based interpretation of monad transformers
Why do you think that https://github.com/mokus0/monad-loops-stm is a good alternative to monad-levels