Реализация «шоу» для функции

Я хотел бы реализоватьshow метод для (бинарных) функций и сделать его способным противостоять эндофункциям(a -> a).

Что-то вроде кода псевдо-haskell:

instance Show (a->b) where
    show fun = "<<Endofunction>>" if a==b
    show fun = "<<Function>>" if a\=b

Как я могу различить два случая?

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

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