Add derived shadows only for Wanted constraints
This patch implements choice (3) of comment:14 on Trac #12660. It cures an infinite loop (caused by the creation of an infinite type) in in compiling the 'singletons' package. See Note [Add derived shadows only for Wanteds] in TcSMonad.
Showing with 41 additions and 19 deletions