> As a math student, I would much prefer to be given a basic statement of the definition of a monad, a list of properties, and maybe a theorem to prove that some structure is a monad instead of having to fall back to the definition.

Have you looked into the original paper?

https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/b...