evTermCoercion :: EvTerm -> TcCoercion
-- Applied only to EvTerms of type (s~t)
-- See Note [Coercion evidence terms]
evTermCoercion (EvId v)        = mkTcCoVarCo v
evTermCoercion :: EvTerm -> TcCoercion
evTermCoercion (EvId v)        = mkTcCoVarCo v
evTermCoercion (EvId v)        = mkTcCoVarCo v