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