I finally nailed this new argument I think about getting around the effects of recursive types and recursive functions as concerns the differential privacy type system. It's kind of like step indexing, but the arithmetic doesn't infect everything.
I patched a hole in my left jeans pocket, where I keep my keys.
After finishing I knocked the tiny sewing-kit needle off my desk, fearing that I lost it forever.
But then, just after giving up on it, the light happened to strike it at the right angle and I found it.