"Then he takes the odd tack of complaining about arcana in the Scala typesystem, and then suggests Haskell as a solution."

What's odd about it? He seems to be straightforwardly claiming that Haskell has a less confusing type system than Scala. I don't know whether that's true or false, but certainly don't see anything odd about it.