↑の Ss とそれを使っている箇所が展開されるのって、これまでの構文と比べて異質すぎて

3:02 PM

たとえば gyb だとそういうことできるけど、それってメタレベルが一個上がってるというか。

3:03 PM

enum CurryHelper<variadic T, Result> { #ifempty T typealias Fn = Result #else typealias Fn = (#head(T)) -> CurryHelper<#tail(T), Result: Result>.Fn #endif }