It becomes a bit messy by doing that. Plus, `op` loses its tail position in the `None` arm. So I'll leave it as is.