A Result Type for TypeScript

Did somebody ask for a monad?