Open phadej opened 8 years ago
Can
instance (Num a) => Lattice a where a /\ b = a `min` b a \/ b = a `max` b
be included directly? It's an undecidable instance, but it looks like a benign one.
Ok, I see why, because of Overlapping Instances. So what's the best way to add Num instances?
Can
be included directly? It's an undecidable instance, but it looks like a benign one.