Making Referential Stability a Type

What happens when we stop treating referential stability as a linting heuristic and start carrying it through React and Preact as a type-level proof.