G'CamlにはRTTIがある！

http://web.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/
当然トップレベルと同じ出力が得られるGprintなるものもある。RTTIがあるということは、効率さえ気にしなければ型情報をMapに突っ込んでHaskellの型クラスモドキもできるわけですから、もうなんでもありですね。(今思いついたがそんなのでいいならDelphiでも型クラスモドキできるな……いいのかそんなので)
最大の関門として、G'CamlはWindowsでビルドできるんだろうか……後で試す。