implement Foldable instance for IntPSQ