func package<T: P>(_ t: T) -> P { return t } let p0: P = package(Cat()) let p1: P = package(p0) こうすると入れ子になると思います。実装上それを避ける事はできそうですが、変なケースが生じないかとか、入れ子にならないことが正しいのか？とか気になります。 (edited)