For example, ``` fac = | 0 -> 1 | n -> n * fac (n - 1) ``` won't serialize because it results in a closure that references itself.