# File rushcheck/gen.rb, line 98
    def self.lift_array(xs)
      self.new do |n, r|
        r2 = r
        xs.map do |c|
          r1, r2 = r2.split
          yield.value(n, r1)
        end
      end
    end