But I disagree quite strongly with the idea of "World parameter as purely hypothetical, a trick used to gain an intuition". I mentioned the language Clean (no reaction, seems that Haskellians continue to ignore it...)I don't know about others, but I intend to learn one language at a time.