A TypeScript Monad Library