Add a note on monads