Использование функции предварительной обработки с парсером идентификатора в FParsec?

Я использую парсер идентификатора из FParsec для анализа имен переменных и функций, которые обычно представляют собой смесь символов Unicode и ASCII. Но иногда я экранировал символы Unicode в начале (например, \ u03C0 ) или внутри идентификатора (например, swipe_board \ u003A_b ). Я все еще могу сделать их анализируемыми с помощью параметров isAsciiIdStart и isAsciiIdContinue , но я не могу определить свою собственную пользовательскую функцию для предварительной обработки перед нормализацией. Какое здесь может быть решение?