In statically typed languages, you would have to predefine the output type. Such a function as bar couldn’t be written.

Make a better type system - number -> (nil | number) should do the trick to type bar. SBCL can infer that one.