It's mildly annoying that these can't be `#[deprecated]` like other types, but there's not much we can do about it without larger changes...