return type missed
Same -> Eq
naturalEquiv
better and slower Boxing