https://chanos-dev.github.io/posts/generic_op_equality/