We should be able to create a stable version of `Instance` since we now have GenericArgs. This will help us work with monomorphized code.