This is a very good insight: > The worst kind of compile error is the one where the compiler is complaining about something that it generated for you, rather t

This is a very good insight: > The worst kind of compile error is the one where the compiler is complaining about something that it generated for you, rather than something you explicitly wrote. > This can be compared with Haskell’s use of monads, that provide syntactic sugar. The more magic you introduce, the harder it is for newbies to learn and to talk about. I agree. Too much magic (or in the wrong places - especially when it's a crutch to some language quirk) makes things awful.