generalize into_and_sep_affine so that generalizing just the conjunction instance for IntoExist is sufficient