β正規形を、その中でも特に最左の再内基を最初に評価するもの

(\lambda xy.x)(Iu)(I(Iv))を最左最内戦略で評価する