__export ShouldSucceed c d e;
1 c :: (PrelNum.Integer, PrelNum.Integer) ;
1 d :: PrelNum.Integer ;
1 e :: PrelNum.Integer ;