Type variable may be bound.