deprecated OptionOps#fold
Merge pull request #488 from xuwei-k/OptionOps-fold

deprecated OptionOps#fold