OCaml: Есть ли функция с типом 'a ->' кроме функции идентификации?

Кстати, это не вопрос домашнего задания. Об этом рассказали в классе, но мой учитель ничего не мог придумать. Спасибо.