__export ShouldSucceed x;
1 x :: __forall [t] => t ;