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