type Foo where Foo: Copy = ();