Function iterateOver

test/README.example.proof.ts:286–291

(iterable: Iterable<T>)

  const iterate = <T>(value: T) => effect("iterate")<[value: T], void>(value);

  const iterateOver = <T>(iterable: Iterable<T>) =>
    effected(function* () {
      for (const value of iterable) {
        yield* iterate(value);
      }
    });

  expect(iterateOver).to(equal<<T>(iterable: Iterable<T>) => Effected<Iterate<T>, void>>);