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