Deci Chomsky este doar tipul din teoria categoriilor Haskell al limbajelor naturale sau ceva de genul