type-level integers using type families

Alfonso Acosta alfonso.acosta at gmail.com
Tue Jun 3 14:55:05 EDT 2008


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.


More information about the Libraries mailing list