A reflection on types https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/dynamic.pdf TypeRepがtype-indexedなものになった話。色々利点があるのね。 そしてそれが可能になったのは kind polymorphism に加えて kind equality http://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf が入ったからと。 題材として、STモナド/STRefの実装の話が出てきていて、昔書いた http://msakai.jp/d/20100606.html#p01 をちょっと思い出した。