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