lets
` <*>
  + <*>
  | + pure \x_0 -> \x_1 -> GHC.Show.show x_0
  | ` <|>
  |   + <*>
  |   | + pure \x_0 -> 'a'
  |   | ` satisfy
  |   ` <|>
  |     + <*>
  |     | + pure \x_0 -> 'b'
  |     | ` satisfy
  |     ` <*>
  |       + pure \x_0 -> 'c'
  |       ` satisfy
  ` satisfy