No, I am helping people learn monads. If your "m" can have those functions, you have a Monad. That's all you need to know (and all I know). I don't peacock lol mostly because I don't care about the opinions of other programmers.