strTypeTyConName, varStrTypeTyConName,
qTyConName, expTyConName, matTyConName, clsTyConName,
decTyConName, typTyConName, strictTypeName, varStrictTypeName,
strTypeTyConName, varStrTypeTyConName,
qTyConName, expTyConName, matTyConName, clsTyConName,
decTyConName, typTyConName, strictTypeName, varStrictTypeName,