doubleDataConKey                        = mkPreludeDataConUnique  3
doubleDataConKey                        = mkPreludeDataConUnique  3
doubleDataConKey                        = mkPreludeDataConUnique  3