How Elm slays a UI antipattern: https://blog.jenkster.com/2016/06/how-elm-slays-a-ui-antipattern.html Argues for GADTs in web dev, and points out a common issue with async UIs that I can't unsee now.