lets
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) x_0 (x_1 x_2))
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` try
|   ` <*>
|     + <*>
|     | + <*>
|     | | + <*>
|     | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types.[]))))
|     | | | ` satisfy
|     | | ` satisfy
|     | ` satisfy
|     ` satisfy
` <*>
  + <*>
  | + pure (\x_0 -> \x_1 -> GHC.Show.show ((GHC.Types.:) x_0 (x_1 GHC.Types.[])))
  | ` ref <hidden>
  ` ref <hidden>