override Foldable1#empty

Cherry-picking pull request #441 43e91ae4613