public protocol Prot {
}

public struct Yoda<
  Base : IteratorProtocol
> : Prot {

    public func down<U>(
      p: Array<U>
    ) -> Array<U>
}