On Wed, Jul 2, 2008 at 11:37 AM, Alfonso Acosta <alfonso.acosta at gmail.com> wrote: > I think that the type-level library: > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level ... is what you need