Для достаточно полиморфных типов параметричность может однозначно определять саму функцию (см. Теоремы Вадлера бесплатно! для подробностей). Например, единственная итоговая функция с типом forall t. t -> t - это функция идентичности id ....