data T = D1 Int
       | D2 Bool;

main = case D1 42 of
         D2 b -> b;
;