adam@1639: val y = []
adam@1639: 
adam@1639: type foo = int
adam@1639: val z : list {F : foo} = y