feat: align {List/Array/Vector}.{foldl, foldr, foldlM, foldrM} lemmas
#7733
| Job | Run time |
|---|---|
| 7s | |
| 7s |
{List/Array/Vector}.{foldl, foldr, foldlM, foldrM} lemmas
#7733
| Job | Run time |
|---|---|
| 7s | |
| 7s |