Level-based interpretation of monad transformers