__export ShouldSucceed f;
1 f :: __forall [a] => {PrelNum.Num a} -> [a] -> [a] ;