pretty printer for IdSeq/IdType