Improved the discussion on monads