examples of code we wish would typecheck