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