3 Jul
2008
3 Jul
'08
12:38 a.m.
On Wed, Jul 2, 2008 at 11:37 AM, Alfonso Acosta <alfonso.acosta@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