(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 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)))