Dotty Support in IntelliJ IDEA by Andrew Kozlov