__export ShouldSucceed f;
1 f :: __forall [t] => [t] -> [t] ;