ref: 7d2f32a9e5e2b27faa217fd3d9d2d2092f052861 dir: /tests/Deriving.ref/
True False False True False True True True False True False A 'a' B False C 'a' 1 D A (A 'a') R{x='a',y=10} R{x=R{x='b',y=11},y=10} Alt [True]