lets
` <*>
  + pure GHC.Show.show
  ` <*>
    + <*>
    | + <*>
    | | + pure (\x_0 -> \x_1 -> x_0)
    | | ` pure (\x_0 -> x_0)
    | ` <|>
    |   + try
    |   | ` <*>
    |   |   + <*>
    |   |   | + pure (GHC.Types.:)
    |   |   | ` <*>
    |   |   |   + <*>
    |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
    |   |   |   | ` pure 'a'
    |   |   |   ` satisfy ((GHC.Classes.==) 'a')
    |   |   ` <*>
    |   |     + <*>
    |   |     | + pure (GHC.Types.:)
    |   |     | ` <*>
    |   |     |   + <*>
    |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
    |   |     |   | ` pure 'b'
    |   |     |   ` satisfy ((GHC.Classes.==) 'b')
    |   |     ` <*>
    |   |       + <*>
    |   |       | + pure (GHC.Types.:)
    |   |       | ` <*>
    |   |       |   + <*>
    |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
    |   |       |   | ` pure 'c'
    |   |       |   ` satisfy ((GHC.Classes.==) 'c')
    |   |       ` pure GHC.Types.[]
    |   ` try
    |     ` pure GHC.Types.[]
    ` <*>
      + <*>
      | + <*>
      | | + pure (\x_0 -> \x_1 -> x_0)
      | | ` pure (\x_0 -> x_0)
      | ` try
      |   ` <*>
      |     + <*>
      |     | + pure (GHC.Types.:)
      |     | ` <*>
      |     |   + <*>
      |     |   | + pure (\x_0 -> \x_1 -> x_0)
      |     |   | ` pure 'd'
      |     |   ` satisfy ((GHC.Classes.==) 'd')
      |     ` <*>
      |       + <*>
      |       | + pure (GHC.Types.:)
      |       | ` <*>
      |       |   + <*>
      |       |   | + pure (\x_0 -> \x_1 -> x_0)
      |       |   | ` pure 'e'
      |       |   ` satisfy ((GHC.Classes.==) 'e')
      |       ` <*>
      |         + <*>
      |         | + pure (GHC.Types.:)
      |         | ` <*>
      |         |   + <*>
      |         |   | + pure (\x_0 -> \x_1 -> x_0)
      |         |   | ` pure 'f'
      |         |   ` satisfy ((GHC.Classes.==) 'f')
      |         ` pure GHC.Types.[]
      ` pure GHC.Tuple.()