Add examples describing the "ambiguous monad" problem.