[1-more]

A related talk is Richard Feldman's "Making Impossible States Impossible." Richard wrote a number of Elm packages and is the creator of the Roc language.

https://www.youtube.com/watch?v=IcgmSRJHu_8