> feels so natural Yes. They are as important as records/structs a.k.a. product types. > F#, OCaml, Reason, and Elixir Haskell, Elm, PureScript, Kotlin, Idri

> feels so natural Yes. They are as important as records/structs a.k.a. product types. > F#, OCaml, Reason, and Elixir Haskell, Elm, PureScript, Kotlin, Idris, ... > I know they add a significant amount of complexity to the language Really? I dont think it can be so much more than generics :) Elm has 'm and the whole language is 5k lines of code.