Use a lookahead to match type variables more precisely.