Note: when people say this about Haskell they mean "it has ADTs".