Реализация хэша Haskell, которая не находится в монаде ввода-вывода

Я ищу структуру данных, которая работает немного как Data.HashTable , но не обременена монадой ввода-вывода. На данный момент я использую [(key, val)]. Мне нужна структура O (log n), где n - количество пар ключ-значение.

Структура строится нечасто, по сравнению с тем, как часто ее нужно читать, и когда она построена, у меня есть все пары ключ-значение, доступные одновременно. Ключи - String s, если это имеет значение.

Также было бы неплохо узнать, при каком размере стоит отойти от [(key, val)].