Så er Chomsky bare typen Haskell-kategoriteori for naturlige språk eller hva