Strings within strings in Haskell :  In natural language it is quite common to have quotation marks within quotation marks, as in, for example:

(1) "This sentence is not a "sentence" "

(2) "‘S’ is true in language L iff S"

(2) is in fact important for any Tarskian truth-definition (Tarski argued the truth of every instance of (2) was necessary for the material adequacy of a truth definition). 

Other examples arise in the study of paradoxes; for example, in Quine's paradox https://en.wikipedia.org/wiki/Quine%27s_paradox we are led to consider (3)

(3) "The statement "'yields falsehood when preceded by its quotation' yields falsehood when preceded by its quotation" is false"

I am interested in how quotations within quotations can be implemented in Haskell. A simple type search for (3), `:t ("The statement "'yields falsehood when preceded by its quotation' yields falsehood when preceded by its quotation" is false")` yields (no pun intended!) 

    <interactive>:1:18: error:
    • Syntax error on 'yields
      Perhaps you intended to use TemplateHaskell or TemplateHaskellQuotes
    • In the Template Haskell quotation 'yields

and perhaps for obvious reasons. Would allowing strings such as (1)-(3) necessitate modifying elements of the syntax of Haskell, or is there some way they can be accommodated?

Can anyone suggest how we can accomodate quotations within quotations within Haskell?

