Libby added a flatMap method to MonadProxy.