==

(==) : a -> a -> Bool

構造的に同じであればTrueになる

タプル、レコード、ユーザー定義カスタムタイプも判定できる

js等の変数がオブジェクトの参照を保持するものと異なる

関数の同一性は判定できない

(\n -> n + 1) と (\n -> 1 + n) 　とか

これは一般には決定不能問題のため