fun f(y :: {Number; Boolean}) -> {Number; Any}:
    y
end