型パラの名前内部では τ_0 とかで消えてるしなぁ