Another typing question

Nick Name nick.name@inwind.it
Tue, 5 Aug 2003 22:08:16 +0200


On Tue, 5 Aug 2003 15:23:09 +0200
Wolfgang Jeltsch <wolfgang@jeltsch.net> wrote:

> 
>  You could define different types for different natural numbers:
>      data Zero = Zero
>      data Succ number = Succ number

This resembles

http://www.brics.dk/RS/01/10/

V.