- |Factorial as a paramorphism on nats.
paraFactorial :: Integer -> Integer
paraFactorial = paraInteger $ 1 `maybe` \(n, x) -> n * succ x

paraFactorial :: Integer -> Integer
paraFactorial = paraInteger $ 1 `maybe` \(n, x) -> n * succ x
paraFactorial = paraInteger $ 1 `maybe` \(n, x) -> n * succ x