https://www.youtube.com/watch?v=0BXuYlNrUmE

Watched Alexis King's "The Unreasonable Effectiveness of Constructive Data Modeling" with great anticipation and was not disappointed. Use types not to restrict a big universe of values to the small subset you can accept but to build up the values you do care about. Alexis's slides are always so well-designed and intelligible.