去年、こんなのをメモしてた。 http://haskell.g.hatena.ne.jp/matarillo/20130524/1369369774 http://haskell.g.hatena.ne.jp/matarillo/20130527/1369636675 これってオダスキー先生のこれ↓がベースなのか！ http://lampwww.epfl.ch/~odersky/talks/wg2.8-…