better inference for Data.Text.Search