โถ)๐ฝโถ๐ ๐ฉ, ๐จ ๐ฝโถ๐ ๐ฉ: ChooseApply ๐ฝ to the arguments and use the result to pick (โ) a function from list ๐. Apply the picked function to the arguments.
F โ โขโถ+โฟ-โฟรทโฟร F 0 0 F 1 ยฏ1 F 2 0.5 F 3 1