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