On Thu, May 29, 2008 at 5:15 AM, Peter Gavin <[EMAIL PROTECTED]> 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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe