No need to specify `: Short`; it's pretty clear what it is with `'toShort`