[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc026.stderr

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