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