例外が多相型をパラメータとして持ち得るとすると型システムでは検出で きない型エラーを起こす例を， 第8.3節の polyIdRef を参考に作成せよ．
解答例
exception foo of ’a raise foo "a" handle foo x => x + 1