Сопоставление шаблонов параметров функции OCaml для строк

Я попытался передать строку, чтобы получить обратную строку. Почему я не могу это сделать:

let rec reverse x = 
  match x with
  | "" -> ""
  | e ^ s -> (reverse s) ^ e;;

Компилятор говорит, что это синтаксическая ошибка. Нельзя ли использовать ^для деструктуризации параметров?