Implement custom fold for WhileSome
#548
ci.yml
on: pull_request
Matrix: check
All checks succeeded
4s
WhileSome
#548