The issue here can become, that there's more than one way to do that translation. Monadic operators and the underlying types are all broadly similar but not the

The issue here can become, that there's more than one way to do that translation. Monadic operators and the underlying types are all broadly similar but not the same. It's a little like the situation in JS with promises, though with promises the convergence has been pretty rapid and one can basically ignore that the underlying implementations are different.