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