12 lines
271 B
Ceylon
12 lines
271 B
Ceylon
|
Result(*Args) y2<Result,Args>(
|
||
|
|
Result(*Args)(Result(*Args)) f)
|
||
|
|
given Args satisfies Anything[] {
|
||
|
|
|
||
|
|
function r(Anything w) {
|
||
|
|
assert (is Result(*Args)(Anything) w);
|
||
|
|
return f(flatten((Args args) => w(w)(*args)));
|
||
|
|
}
|
||
|
|
|
||
|
|
return r(r);
|
||
|
|
}
|