Use more reasonable type variable names so that the errors look a bit nicer.