override Foldable1#empty
Merge pull request #441 from xuwei-k/foldable1-empty

override Foldable1#empty