Maybe `cast` is the wrong term entirely, it's not really a type cast, it's an arbitrary transformation.