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