agda-2.3.2.2 compatibility of PathSeq and JoinAssoc(2)