More than one UserTyVar in use in the file