The notion of a type is not fixed, Rust has a more generous conception of what is a type and what its static type system checks.