Add a new random indexing implementation in haskell
simplify types