I find if you combine this with a strong type system like in F# the promise is upheld. You need strong type guarantees on the parameters to make it easy to unde

I find if you combine this with a strong type system like in F# the promise is upheld. You need strong type guarantees on the parameters to make it easy to understand the behavior though.