> Flix looks like Scala, but its type system is based on Hindley-Milner.

Ahh why?! Scala is FP larping as OOP. Great type system, poor syntax.