[Haskell-cafe] type-level programming support library

[spoon]

On Mon, 2009-03-30 at 20:54 +0100, Lennart Augustsson wrote: 
> I wasn't questioning the utility of John's library.
> But I saw him mentioning unary numbers and I think it's a mistake to
> use those for anything practical involving even moderately sized
> numbers.

Also agreed!  tfp supports rational arithmetic through its decimal
numbers, and in my opinion, a new library should build upon tfp, adding
features like the regular prelude H.O.F.s until there is a prelude for
types.

- John Morrice