type-level integers using type families

[Alfonso Acosta]

On Thu, May 29, 2008 at 5:15 AM, Peter Gavin <pgavin at gmail.com> wrote:
> Has anyone else tried implementing type-level integers using type families?

When I started to work on thetype-level and parameterized data
packages,  I considered using type-families and GADTs, but I found
quite a few problems which have been nicely summarized by Benedikt in
this thread.