open recursionなモジュールに型定義を持たせる（下） - Arantium Maestum のシグニチャ（シグネチャが正しいのか）についての話で module type S = sig type 'a t = 'a list end module M = struct type 'a t = int list end 的なコードを書いて「型が合わ…