--[[
fn x => fn y => fn z => if x then y else z
--]]
function _styx_builtin_if(c)
    return function(t)
        return function(f)
            if c then
                return t()
            else
                return f()
            end
        end
    end
end
function f8(p)
    v6 = p
    return v2
end
function f23(p)
    v1 = p
    v21 = f20
    return v21
end
function f17(p)
    v3 = p
    v4 = _styx_builtin_if
    v5 = v4(v1)
    v9 = f8
    v10 = v5(v9)
    v14 = f13
    v15 = v10(v14)
    return v15
end
function f13(p)
    v11 = p
    return v3
end
function f20(p)
    v2 = p
    v18 = f17
    return v18
end
 
print(f23(true)(1)(2))
print(f23(false)(1)(2))

LS1bWwpmbiB4ID0+IGZuIHkgPT4gZm4geiA9PiBpZiB4IHRoZW4geSBlbHNlIHoKLS1dXQpmdW5jdGlvbiBfc3R5eF9idWlsdGluX2lmKGMpCiAgICByZXR1cm4gZnVuY3Rpb24odCkKICAgICAgICByZXR1cm4gZnVuY3Rpb24oZikKICAgICAgICAgICAgaWYgYyB0aGVuCiAgICAgICAgICAgICAgICByZXR1cm4gdCgpCiAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgICAgIHJldHVybiBmKCkKICAgICAgICAgICAgZW5kCiAgICAgICAgZW5kCiAgICBlbmQKZW5kCmZ1bmN0aW9uIGY4KHApCiAgICB2NiA9IHAKICAgIHJldHVybiB2MgplbmQKZnVuY3Rpb24gZjIzKHApCiAgICB2MSA9IHAKICAgIHYyMSA9IGYyMAogICAgcmV0dXJuIHYyMQplbmQKZnVuY3Rpb24gZjE3KHApCiAgICB2MyA9IHAKICAgIHY0ID0gX3N0eXhfYnVpbHRpbl9pZgogICAgdjUgPSB2NCh2MSkKICAgIHY5ID0gZjgKICAgIHYxMCA9IHY1KHY5KQogICAgdjE0ID0gZjEzCiAgICB2MTUgPSB2MTAodjE0KQogICAgcmV0dXJuIHYxNQplbmQKZnVuY3Rpb24gZjEzKHApCiAgICB2MTEgPSBwCiAgICByZXR1cm4gdjMKZW5kCmZ1bmN0aW9uIGYyMChwKQogICAgdjIgPSBwCiAgICB2MTggPSBmMTcKICAgIHJldHVybiB2MTgKZW5kCgpwcmludChmMjModHJ1ZSkoMSkoMikpCnByaW50KGYyMyhmYWxzZSkoMSkoMikp