ATypI/... -> ATypI?