What you probably want are type level integers (naturals)

Yury Sulsky used them in the message above - basically you can't use
literal numbers 1,2,3,... etc as they are values of type Int (or
Integer, etc...) instead you have to use type level numbers:

data One
data Two

Work is ongoing for type level numbers in GHC and there are user
libraries on Hackage so there is a lot of work to crib from.

Haskell-Cafe mailing list

Reply via email to