Modular Type Classes. Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty, and Gabriele Keller. Draft (April 6, 2006).http://www.cs.cmu.edu/~rwh/papers/mtc/apr06.pdfHaskellのtype classをMLのモジュールシステムで実現する(?)という話らしいで…

http://moe-com.net/の実物を花見の最中に、全員の面前で贈呈されました。どう見ても同人誌です。本当にありがとうございました。