fixed sum type pprinting