I guess we'd have to add a type like `SizeTuple` for that to work.