Monadic types for JavaScript