__export ShouldSucceed A B C;
1 type A a = B   a ;
1 type B c = C ;
1 type C = PrelBase.Int ;