CoGrouped is CoGroupable, but not HashJoinable, but I think everything that is HashJoinable is also CoGroupable.

So, we could, if it is of use, force HashJoinable extends CoGroupable. Thoughts on that?