>>20
Yes, I should at least have mentioned type inference. I should have also mentioned that "monads" implies controlled effects, non-determinism, selection of a function's kind of error signaling (return value or exception) by caller of said function, and a whole bunch of other stuff, much of it I don't know about.