F # - В параметре типа отсутствует ограничение, когда 'k: compare

У меня есть это строка кода, которая дает ошибка, указанная в строке темы:

type trie<'k,'a> = TNode of ('a option * Map<'k,('k,'a) trie>)

Я пробовал вставлять «когда k: сравнение» всеми возможными способами, которые я мог придумать, но безрезультатно. Я могу найти только примеры этого, используя один общий параметр, а не два.

Заранее спасибо,

Боб