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