そうするともうenumでネームスペース切らずに typealias CurryFn<variadic T, Result> = #condtype(#empty(T), Result, (#head(T)) -> CurryFn<#tail(T), Result>) でいい気がしてきました