New posts in argonaut

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

scala haskell playframework functional-programming argonaut