protocol P {
    associatedtype Element
}