Why Isomorphism Plays Significant Role in Self-Referential Types
Why Lists Are Just Math in Disguise (And Your Tree Has Trust Issues)
Self-referential types arise whenever a type refers to itself inside its own definition, which is exactly what happens in the familiar implementations of linked lists, trees, streams, or other recurs…