Eq y => (Integer -> Bool) -> yという型の関数がEqのインスタンスになる、すなわち等号(==)で等しいかどうか判定できることを実装を通して見ていきたいと思います。以下の