I think this is impossible given the `switch` above