型システムのライブラリとかあったらいいのに

GCはBoehm GCというライブラリがあるのと同じように、型システムもライブラリとして利用できればよいのにね。
そうすれば、シンタックスと処理系だけ実装して、型システムはライブラリに任せて、型付きの自作プログラミング言語を作ることができるじゃない。ついでに、型推論もライブラリで提供してくれたら、自作プログラミング言語に型推論まで付けられる。
Haskell Hackathonとかでも大活躍。