type Foo where A: B, C: D, = E; type Foo where A: B, C: D, = E where F: G, H: I; type Foo = E where F: G, H: I;