added [] to AType for specifying type arguments (whatever they might be)