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