However, even adding the types of each involved function to the error doesn't help. I suspect ChatGPT could solve the first one because it's seen something very similar before, but can't solve the second because it's not actually capable of emulating the typechecker well enough.