Does it ever happen that T != U?