[Haskell] Re: Type-Level arithmetic library

Ashley Yakeley ashley at semantic.org
Mon Jan 30 22:09:23 EST 2006

Robert Dockins wrote:
> While cleaning up my home directory, I discovered some code I worked  on 
> a while ago which implements type level arithmetic.

I know for the usual Peano representation of natural numbers, at least, 
it's possible to represent addition and subtraction with a single class 
with two fundeps (because classes represent relations between types 
rather than functions on them). See 

More information about the Haskell mailing list