Quindi Chomsky è solo il tizio della teoria delle categorie di Haskell per le lingue naturali o cosa?