Added section about monads
Added section about monads