buildCompactValue (TSet ty entries) = buildCompactValue (TList ty entries)
buildCompactValue (TSet ty entries) = buildCompactValue (TList ty entries)
buildCompactValue (TSet ty entries) = buildCompactValue (TList ty entries)