data T1 = D1 Int T2;
data T2 = D2 Bool Int;

main = D1 42 (D2 True 0);