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

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

Что-то вроде кода на псевдо-хаскеле:

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

Как отличить два случая?