http://d.hatena.ne.jp/Lost_dog/20111128/1322504143 reify_integer がおもしろいなーと思った． これと同じ雰囲気で， dependent type の例によく出てくる「長さ n のベクトル型 Vec n a」についてこんなのが書けそう． 同じ長さ n のベクトル同士だけ zip…

neco-ghc などで，Haskell 用の補完候補をより正確に計算するときに活用できないかなーと思った． GHC 7.0.3 で試した． あるモジュールがエクスポートしている名前は modInfoExports でとれる． そのモジュールで定義されていれば modInfoTyThings で TyThi…