¿Entonces Chomsky es solo el tipo de la teoría de categorías de Haskell de lenguajes naturales o qué?