¿Así que Chomsky es solo el tipo de teoría de categorías de Haskell de los lenguajes naturales o qué?