В каких языках абстракция функций не является примитивной

В Haskell задан тип функции (->), это не конструктор алгебраического типа данных, и его нельзя пере-реализовать, чтобы он был идентичен(->)].

Итак, мне интересно, какие языки позволят мне написать мою версию(->)? Как называется это свойство?

UPD Переформулировка вопроса благодаря обсуждению:

В каких языках нет ->в качестве примитивного типа?

Зачем ->нужен примитив?