func getFirstMember<variadic T>(_ values: T) -> #head(T) { return #head(values) }

7:08 AM

#head と #tail とかは、variadic T自体に型操作としても使えるし、variadic T型の式自体に値操作(と同時に型操作)としても使える必要があると思う。

7:10 AM

#head と #tail と #ifempty があれば、再帰的に操作できそう