__export ShouldSucceed foo;
1 foo :: __forall [t] => t -> (PrelNum.Integer, PrelNum.Integer) ;