oh ok i misread your original, you were only referring to type inference. i thought you were saying none of the languages mentioned had monads.