Implementing Haskell's do notation in TypeScript using generators

See main-*.ts files for examples with Maybe<T> and Promise<T>

I made this project for self-education purposes. Of course, later I found out that somebody already made this (see this Medium article for explanation)

This version generalizes the syntax for all monads by using higher-kinded types from fp-ts