Could I do something like `extension class AutoEq(...
# arrow
s
Could I do something like
extension class AutoEq(with Iso<A, B>, with Eq<A>) : Eq<B> {...}
?