>>17You missed "controlled effects" and "powerful type system" (both somewhat intertwined in Haskell).