Implemented `chop8`, `map f` and `iterate f` using `unfold`