-- Overloaded record fields
hasFieldClassNameKey :: Unique
hasFieldClassNameKey = mkPreludeClassUnique 49
hasFieldClassNameKey :: Unique
hasFieldClassNameKey = mkPreludeClassUnique 49
hasFieldClassNameKey = mkPreludeClassUnique 49