4 Jun
2008
4 Jun
'08
2:55 a.m.
On Thu, May 29, 2008 at 5:15 AM, Peter Gavin <pgavin@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.