Cast and type