Adding a polymorphic Equatable?

+1, I brought this up myself here: Dynamic equality checking, and Equatable - #2 by anandabits