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