I think it is best just to provide the mathematical definition, provide the commutative diagrams that explains the concept graphically and then provide an examp

I think it is best just to provide the mathematical definition, provide the commutative diagrams that explains the concept graphically and then provide an example for computer scientists in Haskell: https://beuke.org/monad/ https://beuke.org/monad/