let mkRow =
  \(r : Natural)
  -> \(c : Natural)
  -> \(er : Natural)
  -> \(ec : Natural)
  -> { from =
  { _1 = {_unCRow = r}, _2 = {_unCCol = c} }
  , to =
  { _1 = {_unXRow = er}, _2 = {_unXCol = ec} }
  }
in
    [
     {sheetName = {unSheetName = "Sheet1"}, 
      pairTransforms = [
        mkRow 2 1 11 17,
        mkRow 0 3 12 15
      ]},
     {sheetName = {unSheetName = "Sheet2"},  
      pairTransforms = [
        mkRow 1 1 11 17,
        mkRow 0 0 12 15
      ]}
    ]