displayTypes :: [String]
displayTypes =
  ["svg", "xml", "dot", "symbols", "session"] ++ ppList
displayTypes :: [String]
displayTypes =
  ["svg", "xml", "dot", "symbols", "session"] ++ ppList
displayTypes =
  ["svg", "xml", "dot", "symbols", "session"] ++ ppList