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.