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