upvote
Making Referential Stability a Type

(jovidecroock.com)