An Implementation of the Either Monad in TypeScript