Рекурсивные анонимные функции в SML

Можно ли писать рекурсивные анонимные функции в SML? Я знаю, что могу просто использовать синтаксис fun , но мне любопытно.

В качестве примера того, что я хочу, я написал:

val fact =
    fn n => case n of
                 0 => 1
               | x => x * fact (n - 1)