$+$ +pretty

($+$) :: Doc -> Doc -> Doc
pretty Text.PrettyPrint.HughesPJ, pretty Text.PrettyPrint
Above, with no overlapping. $+$ is associative, with identity empty.