Weird. When I asked ChatGPT to write a minimal untyped lambda calculus evaluator in unison it put out this without complaint. Now that I have a closer look this isn't unison (nor haskell). Whatever it is it seems correct aside missing a