isberg

I think having Generator adapted fold functions might help make cleaner code in some cases. (The idea is [not new](https://package.elm-lang.org/packages/NoRedInk/elm-random-extra/latest/Random-Extra#fold).) Signatures like: ```elm foldl : (a -> b -> Generator...

```idris export totalGrains : Integer total = ?total_rhs ``` `total` should be `totalGrains`