New unopWithEv2, to support Monoid.isId in spire.

See non/spire#296