While the language can be hard to get used to, the error messages are mostly great.
But sometimes you can send it on a goose chase with impossible type inference.