Recursive functions cannot be defined in one statement, used in the next. ``` fun f 1 = 1 | f n = n * (f (n - 1)); > val f = fn : int -> int f 5; > Bind error ```