The thing frightening me about Ceylon and Kotlin is that they both seem to have that the "language design is hard, let's go shopping" approach which burdens developers with stuff only the language designer should care about. I will certainly have a look at the approach they take towards type constructor polymorphism.