Extend documention by explaining a example
Tweak documenation of the Monad behaviour