Tree

ReifiedLaws

t

PCons Sum

tail

HCons

to

DerivedAtomicTester