I read once, somewhere, an advice from a computer scientist: one with OOP background should perceive a monad as a class that has everything contained: types, declarations, methods, error handling. Is it true ?