↑up
少なくとも、ローカル変数に対する monomorphism restriction は悪さをしているようだったので、095 でいったん disable にした。
これで良いわけではないので、適切な形で再度導入する必要がある。 トップレベルのみ適用かな、と予想するが…。
参考 URL: