型の上書きよりも、問題は let (foo: x, bar: y) = ... のラベルを書けることじゃないですか？コンパイルエラーでいい気が。