A little blog post on how, sometimes, a little bit of dependent types can make your life easier. For practical things.