override Foldable1#empty