We call ourselves Scalaties.

Scala is a programming language for the JVM with an expressive type system and excellent functional programming (FP) capabilities.

No two type systems are alike and some indeed are better than the others or definitely better on some axis of expressiveness - the capability to prove more using types and the aid of the compiler.