Dependent types and how to get rid of them

Recent and related: Why don't you use dependent types? - https://news.ycombinator.com/item?id=45790827 (116 comments)