"Making Impossible States Impossible" by Richard Feldman
elm-conf · 25:06 · Watch on YouTube
The talk argues that instead of validating away invalid states with tests, you should design Elm data models so invalid states can't be represented at all, using precise types to get compile-time guarantees.