A question on the default for operation in overlapped instances. When an instance skips an operation definition, let this mean the definition taken from other instances overlapping with this one. Is this good? With this, declaring an instance I2, more specific than its overlap I1, we may skip in I2 the operations defined in the "old", non-specific way. If this makes sense, let it be a Proposal for Haskell-2. ------------------ Sergey Mechveliani [EMAIL PROTECTED]
