Ist Chomsky also nur der Haskell-Kategorientheorie-Typ der natürlichen Sprachen oder was?