Practical Typecasting