This myth is often related to or borne of those already mentioned. Interestingly, what the claimant is actually referring to (which is not monads, but controlling effects with types) makes programs pure, that would otherwise be impure.