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