lets
+ let name
| ` try
|   ` <*>
|     + <*>
|     | + <*>
|     | | + <*>
|     | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types.[]))))
|     | | | ` satisfy ((GHC.Classes.==) 'a')
|     | | ` satisfy ((GHC.Classes.==) 'b')
|     | ` satisfy ((GHC.Classes.==) 'c')
|     ` satisfy ((GHC.Classes.==) 'd')
` <*>
  + <*>
  | + pure (\u_0 -> \u_1 -> GHC.Show.show ((GHC.Types.:) u_0 u_1))
  | ` ref name
  ` chainPre
    + <*>
    | + pure (GHC.Types.:)
    | ` ref name
    ` pure GHC.Types.[]