Co to jest typ główny?

Kompilator OCaml ma opcję „-principal”, a termin „typ główny” jest czasami wymieniony na liście mailingowej. Co to dokładnie znaczy? Definicja w Wikipedii jest rekurencyjna, ponieważ zakłada, że ​​czytelnik jest już zaznajomiony z pojęciem.