Dependently Typed Programming with Singletons 読んだ。 最近の #Haskell での型レ(ベルプログラミング)がどうなっているのかちょっとキャッチアップしたくて読んだのだけれど、ここまで来てるのかと、GADT や Type Family に一喜一憂していた頃とは隔世の感があるねぇ。
http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf
http://portal.acm.org/citation.cfm?id=2364522