We’re allowed to implement a trait on a type as long as either: the trait; or the type are local to our crate.