Make the broken version of the program typecheck