@Yuta Saito

PathConstructor<T1, PathConstructor<T2, T3>> を Path<T1, Path<T2, T3>> に変換するために再帰させたいなーと

本来やりたいのは↓のようなことということですか？

struct Path<T1, T2> {} struct PathConstructor<T1, T2> { func create(path: [String]) -> Path<T1, T2> { fatalError() } } extension<T3, T4> PathConstructor where T2 == PathConstructor<T3, T4> { func create(path: [String]) -> Path<T1, Path<T3, T4>> { fatalError() } }