Remove unnecessary generalization around IsCoercion