Better signature for safeEq'