\(times :: Int -> Int -> Int) -> \(minus :: Int -> Int -> Int) ->
  fix (\r -> \n -> times n (r (minus n 1)))