The fact that so many people think that Scala is too complicated is empirical evidence that it is, in fact, too complicated, where "too complicated" is defined as "a lot of people find it too complicated". I'm comfortable with that definition.
Gosu has plenty of problems and, admittedly, covariance is a logical hole, but it was an explicit choice: we didn't think the power to weight ratio of the other options were high enough. Daniel Spiewack (Scala expert, very nice guy, and incredibly smart) gave a talk at OSCON on the complexity of the Scala type system:
http://www.oscon.com/oscon2011/public/schedule/detail/18780
So even a Scala expert is starting to wonder about the wisdom of pursuing the One True And Sound Type System.
At some point, the statically typed guys have to look at the success of dynamically typed languages and wonder just how much static typing matters. We think it matters for tools, mostly, so we picked a type system that isn't sound, but usually does what you want and gets out of your way. That might work for you, it might not: but we are grownups and we've though about it more deeply than this guy apparently thinks we have.