Scala's type system is more expressive than Haskell's? I didn't know that. What makes it more expressive?