Stephen Compall suggests that instead of returning `Ev` that the `imp` method should return `Ev with ev.type` to avoid losing refinements.
Stephen Compall suggests that instead of returning
Evthat theimpmethod should returnEv with ev.typeto avoid losing refinements.