ocaml% identity function

Мне интересно, зачем нам нужна функция типа "% identity", которая аналогична let a = a. Собирается ли это улучшить производительность за счет его использования?

Я ввожу фантомную типизацию в свою программу, вызывая функции идентификации много раз для преобразования типов, любопытно, может ли "% identity" немного снизить накладные расходы.