+ (bar Bool))))
+ '((foo . (constructor . (abs Int (abs Bool A))))
+ (foo~0 . (0 . (abs A Int)))
+ (foo~1 . (1 . (abs A Bool)))
+ (bar . (constructor . (abs Bool A)))
+ (bar~0 . (0 . (abs A Bool)))))
+
+(test (data-tors-env
+ (data-layout '(data A
+ (foo Int Bool)
+ (bar Bool))))