../../../../../../Prelude/Text/concatMapSep ", " Natural Natural/show ([] : List Natural)