__export ShouldCompile f g;
1 f :: __forall [a b] => {PrelBase.Eq a} -> (a, b) ;
1 g :: __forall [a b] => {PrelBase.Eq a} -> (a, b) ;