Making Referential Stability a Type (jovidecroock.com)

I'm personally not a FE expert, but I love to see this kind of writeup and the creative problem solving/thinking. Great post!