monads motivating example (before converting to org-mode)