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