access to subprogram disciminants

[tmoran@bix.com]

I want to declare an object with parameters, in particular, a
procedure parameter.  In Ada 83 I would have put the object in a
generic package and used the procedure as a parameter of the package.
In Ada 95 it appears I can make the object a record with a discriminant
of 'access to subprogram' type.  But when I try this, it always seems
to run into accessibility problems.
package definer is
  type a_s is access procedure(x:in out integer);
  type objects(s:a_s) is record ...
end definer;
with definer;
package user is
  procedure p(x:in out integer);
  object:objects(p'access);
..
1) How is this supposed to be done?
2) Other than generics or discriminants of records (or tasks),
what other ways are there of creating parameterized objects in Ada?