Codec.TPTP.Pretty

prettySimple

data WithEnclosing a

data Enclosing