When we cogroup on a tuple, if the inner type of tuple does not match, we treat them as different keys. This is confusing. It is desirable to give error/warnings when it happens.
Here is one example:
User expected result (which is not right):
We shall give user the message that we can not merge the key due to the type mismatch.