Let fact =
  Fix f -> Fun n ->
    Ifz n-1 Then 1 Else n * f (n-1) In
fact 5