>>> pretty 1 <+> pretty "hello" <+> pretty 1.234 1 hello 1.234
>>> prettyList [1, 23, 456] [1, 23, 456]