Scala's type system needs some work