Что такое основной тип?

Компилятор OCaml имеет параметр «-принципал», и термин «основной тип» иногда упоминается в списке рассылки. Что именно это означает? Определение в Википедии является рекурсивным, поскольку предполагает, что читатель уже знаком с этим понятием.