converting type-level natural numbers to data-level

Henning Thielemann lemming at
Sat Mar 15 17:26:23 UTC 2014

Am 15.03.2014 18:13, schrieb adam vogt:
> is the trick

Great, this works!

Now I run into the next problem: How can I convert a type-level natural 
number into a data-level number? The Trac-Wiki mentions singletons:
and the base package of GHC-7.6 exports the Sing class:
but it seems to have gone in GHC-7.8. :-(

More information about the Glasgow-haskell-users mailing list