[Haskell-cafe] Is Harper right that Haskell cannot model the natural numbers?

[Albert Y. C. Lai]

On 11-05-02 11:25 PM, Richard O'Keefe wrote:
> Fair enough, but what about
>
> 	data Nat = Zero | Succ !Nat

It works. I say, Harper forgot it.