__export ShouldSucceed r s;
1 r :: PrelNum.Integer ;
1 s :: PrelBase.Char ;