range := λ(: tt Type). (: (p1(slot( tt 'Arrow_s ))) Type);