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