最近のopen recursion関連記事を書いていてふと思い出したのがこちらの記事： camlspotter.hatenablog.com モジュールを使ったプログラミングではプログラマが情報を必要以上に減らしたモジュール型を書いてしまって 型の同値性が知らず知らずに失われてしま…