__export ShouldSucceed f;
1 f :: PrelBase.Bool -> PrelBase.Bool ;