func foo<T: P>(_ t: T) { t.foo() }