Remove unnecessary generalization around IsCoercion
Test #8984 in deriving/should_fail/T8984
Checkpoint in responding to Simon's comments