If you start feeling the taste of monad transformers then you can be sure that you already understand everything! I intentionally avoid using words like “effects”, “handlers”, “lifting”, etc. Everything is a functor and natural transformation - keeping it easy.
https://muratkasimov.art/Ya/Articles/Jointed-functor-compositions/