To actually get good errors in Elm you need to not use type inference and declare explicit types in lots of places. A big part of this is due to currying as any

To actually get good errors in Elm you need to not use type inference and declare explicit types in lots of places. A big part of this is due to currying as any mistake in the number of parameters passed to a function is never type checked at the call site, but always when the accidental type collides with some other type.