096: Monomorphism Restriction の実装

↑up

概要

少なくとも、ローカル変数に対する monomorphism restriction は悪さをしているようだったので、095 でいったん disable にした。

これで良いわけではないので、適切な形で再度導入する必要がある。 トップレベルのみ適用かな、と予想するが…。

参考 URL: