@mcc Monad transformers, effect handler libraries etc all solve the "I'm tired of writing boilerplate monads by hand" problem that you don't have yet. After like the 5th or 6th time you have to do the same return and bind implementation, it might be worth a look. But tbh it's diminishing returns and just endless endless navel-gazing