explicit tbind-refl case so that we are free to restrict the other tbind cases