ClassInstanceIdentifier id;
if (instanceTypeExpr instanceof RecordType) {
RecordType recordType = (RecordType)instanceTypeExpr;
if (recordType.isRecordPolymorphic()) {
id = new UniversalRecordInstance(qualifiedTypeClassName);
} else {
throw new IllegalArgumentException();
}
} else if (instanceTypeExpr instanceof TypeConsApp) {
id = new TypeConstructorInstance(qualifiedTypeClassName, ((TypeConsApp)instanceTypeExpr).getName());