I agree that the use case for `None` is pretty weak, but I can't think of a better default argument. This seems better than not providing a default argument at all. (?)