I think it might be nice to turn this into a REPL test, so that we can see when the inference behaviour changes.