• Type-driven design, test-driven design https://thoughtbot.com/blog/nuanced-tdd 2 comments 8/2/2021