2 Jul
2008
2 Jul
'08
4:38 p.m.
On Wed, Jul 2, 2008 at 11:37 AM, Alfonso Acosta
I think that the type-level library: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level
... is what you need