lets
` <*>
  + pure GHC.Show.show
  ` <|>
    + <|>
    | + 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 'd'
    |     |   ` satisfy ((GHC.Classes.==) 'd')
    |     ` <*>
    |       + <*>
    |       | + pure (GHC.Types.:)
    |       | ` <*>
    |       |   + <*>
    |       |   | + pure (\x_0 -> \x_1 -> x_0)
    |       |   | ` pure 'e'
    |       |   ` satisfy ((GHC.Classes.==) 'e')
    |       ` pure GHC.Types.[]
    ` try
      ` <*>
        + <*>
        | + pure (GHC.Types.:)
        | ` <*>
        |   + <*>
        |   | + pure (\x_0 -> \x_1 -> x_0)
        |   | ` pure 'f'
        |   ` satisfy ((GHC.Classes.==) 'f')
        ` <*>
          + <*>
          | + pure (GHC.Types.:)
          | ` <*>
          |   + <*>
          |   | + pure (\x_0 -> \x_1 -> x_0)
          |   | ` pure 'g'
          |   ` satisfy ((GHC.Classes.==) 'g')
          ` <*>
            + <*>
            | + pure (GHC.Types.:)
            | ` <*>
            |   + <*>
            |   | + pure (\x_0 -> \x_1 -> x_0)
            |   | ` pure 'h'
            |   ` satisfy ((GHC.Classes.==) 'h')
            ` <*>
              + <*>
              | + pure (GHC.Types.:)
              | ` <*>
              |   + <*>
              |   | + pure (\x_0 -> \x_1 -> x_0)
              |   | ` pure 'i'
              |   ` satisfy ((GHC.Classes.==) 'i')
              ` pure GHC.Types.[]