(source [0, 0] - [1, 0]
  (short_fn_lit [0, 0] - [0, 6]
    (sqr_tup_lit [0, 1] - [0, 6]
      (num_lit [0, 2] - [0, 3])
      (num_lit [0, 4] - [0, 5]))))
