Characteristic predicate FormatLiteral :: FormatLiteral
FormatLiteral
(
)