How to explain Scala's type system to a Haskell expert? What examples show Scala's advantages?
How to explain Haskell's type system to an advanced Scala practitioner? What can be done in Haskell that can't be done in Scala?