instantiate (wide) upper bounds on my own packages