"Awesome error messages for Dotty" https://scala-lang.org/blog/2016/10/14/dotty-errors.html (exploring Elm/Rust influenced compiler error messages in Scala!)