AnyまたはIntとかもダメですよね

8:42 AM

Existentialもダメなのでは?

8:42 AM

ExistentialはCondConfにできなくね

8:43 AM

extension Optional: P where Wrapped: Animal { ... } で、Optional<Animal>はPにならないですよね