TypeEq による型の非等価性判定は結果として矛盾することがある，というお話．型変数の比較で，引数の型が異なることを表現する関数を作ろうとして次のようなコードを書いたとする： typeEq' x y = type'eq x y :: HFalse ここでGHCのeagerなcontext reducti…

http://d.hatena.ne.jp/keigoi/20090709/1247155626 の続き．この話は無駄にUpdateとかの型レを使っていてややこしかったです．ここで紹介したコードを ghciでロードして，次を入力すればわかります： ghci> :t type'eq undefined undefined type'eq undefin…