"The bean types of a bean are used by the rules of typesafe resolution defined in [typesafe_resolution]." . . . .