test for tagged type pretty printer
tagged type pretty printer and tagged type tfn
tagged type pretty printer