Scala's type inference is not very good, especially in comparison with Haskell