lets
` <*>
  + <*>
  | + pure (\x_0 -> \x_1 -> GHC.Show.show x_0)
  | ` chainPre
  |   + <*>
  |   | + pure (\x_0 -> (GHC.Types.:) 'a')
  |   | ` satisfy
  |   ` pure GHC.Types.[]
  ` satisfy