Better, more consistent examples of why the client gets a monad of its own.