Avi's observation that HashJoinable <: CoGroupable