What are the problems with an ADT encoding that associates types with data constructors? (Such as Scala.)

Question

In Scala, algebraic data types are encoded as sealed one-level type hierarchies. Example:

-- Haskell
data