Равенство указателей в Хаскеле?

Есть ли какое-либо представление о качестве указателя в Haskell? == требует, чтобы вещи были производными Eq, и у меня есть кое-что, что содержит (Значение -> IO Value), и ни один -> ни IO выводят уравнение

РЕДАКТИРОВАТЬ: Ям создание переводчика для другого языка, которыйделает равенство указателей, поэтому яЯ пытаюсь смоделировать это поведение, все еще имея возможность использовать функции Haskell для моделирования замыканий.

РЕДАКТИРОВАТЬ: Пример: я хочу функциюspecial что бы сделать это:

> let x a = a * 2
> let y = x
> special x y
True
> let z a = a * 2
> special x z
False

Ответы на вопрос(6)

Ваш ответ на вопрос