lets
` <*>
  + pure GHC.Show.show
  ` new reg_1
    + satisfy (\x_0 -> GHC.Types.True)
    ` <*>
      + <*>
      | + pure GHC.Tuple.(,)
      | ` get reg_1
      ` get reg_1