Unused Program type class in “fp-ts to the max Part II” example

[anikeef]

📖 Documentation

In the “fp-ts to the max Part II” example, finish function from Program type class is currently not used. It should be either removed or commented to clarify its purpose.

interface Program<F extends URIS> extends Monad1<F> {
  readonly finish: <A>(a: A) => Kind<F, A>
}