I'm sorry, I know you put a lot of effort into this but I find it rather convoluted. I honestly think the best way to explain the Monad typeclass is by just sh

I'm sorry, I know you put a lot of effort into this but I find it rather convoluted. I honestly think the best way to explain the Monad typeclass is by just showing the code. It really isn't that complex: instance Monad (Either e) where return = Right Left err >>= _ = Left err Right a >>= f = f a And then show how you can use `>>=` to chain operations on `Either` values. Then you show a second instance, such as: instance Monad (State s) where return a = State $ \s -> (s, a) ma >>= f = State $ \s -> let (s', a) = runState ma s in runState (f a) s' Then explain how you can use `>>=` here to do something seemingly completely different. Damnit, now I've accidentally written a monad tutorial :(