- ; (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)))
+ ; (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)))
+ ; (bar . ((A bar constructor) . (abs Bool A)))
+ ; (bar~0 . ((A bar 0) . (abs A Bool)))
+ ; ------+-------------------------------------
+ ; tor | info | type