> Is it possible that the pretty-printing <> is in fact just another instance > of the Monoidal mappend? Yes. (<>) :: Doc -> Doc -> Doc Source Beside. <> is associative, with identity empty. http://haskell.org/ghc/docs/latest/html/libraries/pretty/Text-PrettyPrint-HughesPJ.html#v%3A<> -- JP