already Type-A