lets
` <*>
  + pure GHC.Show.show
  ` try
    ` <*>
      + <*>
      | + <*>
      | | + pure (\u_0 -> \u_1 -> \u_2 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types.[])))
      | | ` satisfy ((GHC.Classes.==) 'a')
      | ` satisfy ((GHC.Classes.==) 'b')
      ` satisfy ((GHC.Classes.==) 'c')