__export ShouldSucceed u;
1 u :: __forall [t t1 t2] => t -> (t1, t2) -> t ;