[dionian]

But it’s still a way more powerful and expressive type system than Java. So using it in a JVM ecosystem is a perfect fit.