Comment by benrutter

Elm's a great example of a language that's fully statically typed, but where the language doesn't result in long complex types.

In my mind Rust is one of the nicest, most ergonomic type systems. People say it's highly complex, but I think that's really because its type system also includes reference and lifetime annotation.

As a culture, I think Rust developers do a great job of designing well for a simpler type signature.