GHCも正格性の解析を行っているということを 本体サイトの掲示板やこちらのほうでご指摘頂いた。 いいかげんなことを書いて申し訳ないです。 こう、書けば書くほどボロが出るのがこのページでして…。 というわけで、もうちょっとちゃんと考えてみることにし…