What is recognized as a real monad?

Question

Haskell

A question to respected haskelers. I know the Haskell language on 4-, I can write a monad, I do not participate in the community. I am writing an article about the implementation of functional metaphors in a procedural language (the article is not holistic, on habr, the implementation language is Go, which I know well if it is important). I'm building a monad. What will be approved by the adepts as a monad, and not a cheap fake? Are there formal signs?

Answer 1

All main in C-like languages ​​is an example of the IO monad written in do notation.