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