path: root/testsuite/tests/ghci/scripts/T22125.stdout

MkDInt {x = 14, y = True}