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