approxMatchesList :: TermList f -> Index f a -> [a]
approxMatchesList t idx =
  run (Frame t idx Stop)
approxMatchesList :: TermList f -> Index f a -> [a]
approxMatchesList t idx =
  run (Frame t idx Stop)
approxMatchesList t idx =
  run (Frame t idx Stop)