integerSDataConKey                      = mkPreludeDataConUnique  7
integerSDataConKey                      = mkPreludeDataConUnique  7
integerSDataConKey                      = mkPreludeDataConUnique  7