この表で T だけを考えるということが意味をなさないところが、型と値の混同具合を表してますかね。