Type Locality