Who needs universal quantification, anyway?

object Main extends App {
    def id(t: {type T})(x: t.T): t.T = x

    println(id(new {type T = String})("Hello World!"))
}