What is name of type " Function->Value->Bool = if (Bool) Function (Value) " in Category theory?
Maybe currying is the syntax you refer, and passing arguments as functions:


const sum = (a, b, c) =&gt; a + b + c;
const partial = a =&gt; b =&gt; c =&gt; sum(a, b, c);

console.log(partial(1)(2)(3));          // 6