Thanks will use it, doesn't change the fundamental problem of error messages and multi-line type expressions.

Would wish for that attitude:

http://elm-lang.org/blog/compiler-errors-for-humans