Hello Henning, Friday, March 24, 2006, 3:55:55 PM, you wrote: > A new type, say Cardinal as in Modula, would document for the user of a the only problem is what Haskell don't support automatic integral types conversion. you will need to write a lot of `fromIntegral` calls -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com