val x : '_weak1 Foo.t