そもそもどっちなのかを呼び出し側で解決する方法がないのでは、と思ったけど、呼び出し側で、P1のExistentialに入れるような呼び出しだとかけるのかな。

12:53 PM

let p: P1 = f()