There's a difference between type literals and what we're discussing here (which could roughly be called type aliases, which Kotlin is about to introduce). Looks like
@yole already made a decision in that area, but FYI, there are a few areas of the language where some compromises were made in order to provide a more pleasant DSL experience. The
[]
type aliases would fall in that category