俺は完全性を、
あらゆる式について型付け可能である性質という意味で
使用していたが、
その意味では当然milnerの型推論は完全ではない。
一方で、346の言うような意味において完全と言ったとしても、
結論は同じだ。
つまり、milnerの型推論で型付けできないもので、
型検査の通る式は存在する。

どちらの意味に取ったとしても不完全だ。