Tweaked Equable protocol to be aware of the types of both of its arguments