[Haskell-cafe] Type-level arithmetic

[Andrew Coppin]

I've seen quite a few people do crazy things to abuse the Haskell type 
system in order to perform arithmetic in types. Stuff the type system 
was never ever intended to do.

Well I was just wondering... did anybody ever sit down and come up with 
a type system that *is* designed for this kind of thing? What would that 
look like? (I'm guessing rather complex!)