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