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