Is Chomsky dan gewoon de Haskell-categorie-theorie man van natuurlijke talen of wat?