. . ">> where the three types are loosely-related, except U is a supertype of" . .