Use instantiate<>::with<> in typeclasses, as documented.