A Working Programmer's Guide to Type-Indexed Values

A neat trick, but---as one of the commenters points out---manual dictionary passing is a bit much. I would love Haskell, but for laziness...