__export ShouldSucceed f g;
1 f :: __forall [t] => PrelBase.Bool -> t -> t ;
1 g :: PrelBase.Bool -> PrelBase.Bool ;