For example, don't start a discussion on monads by saying:``A monad is a category theory-based data structure used to supplement pure computations with features like state, common environment or I/O . ''
Say:``A monad is a tool used in Haskell when we want to allow a program to do anything other than just return a value . ''