TA × I TA × I (writtern TAxI or just taxi in ascii) is a Haskell library for text aggregating and indexing, useful for various informational retrivial tasks (the × is for the product type which under Curry-Howard isomorphism stands for and).