Actually, we might want to have a couple methods, one asking if the two tuple types are defined EXACTLY the same and another asking if one type can be cast to the other.