Questa potrebbe essere una domanda molto semplice.
Ma qual è la differenza tra tipi e specie?
La mia attuale comprensione è che hai una teoria dei tipi con regole dei tipi che danno l'idea di un'istruzione ben tipizzata ma i tipi sono più basilari, differenziando i simboli in diversi tipi di simboli e introducendo regole di base sull'applicazione delle funzioni ecc.
Forse c'è poca differenza, forse provengono solo da campi diversi. Ma non riesco a trovare una descrizione chiara della loro relazione.
kind
è il tipo di un costruttore di tipi o, meno comunemente, il tipo di un operatore di tipo di ordine superiore.