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