3 ms·A Working Programmer's Guide to Type-Indexed Values4 points by Hank_Lenzi 17y agomgreenbe 17y agoA neat trick, but---as one of the commenters points out---manual dictionary passing is a bit much. I would love Haskell, but for laziness...