オペレータがどんどん型パラメータにエンコードされるから

なるほど。