-
Richard Eisenberg authored
This is pursuant to a conversion with SPJ, where we agreed that the logic behind Note [Instance and Given overlap] in TcInteract applied to newtype decomposition for representational equality. There is no bug report or test case, as tickling this kind of thing is quite hard to do!
ff82387d