We can merge the cases of `None` and `_` into one `_`, correct? If you think we should be explicit about the different cases, I'm fine with that as well.