[Haskell-cafe] Computed promoted natural

Arie Peterson ariep at xs4all.nl
Sat Nov 10 17:37:30 CET 2012

On Friday 09 November 2012 17:53:54 Ertugrul Söylemez wrote:

> I'm not sure if you're supposed to use the reflection library that way.
> The idea is simply this: […]

All right, I switched to this method, and it workes like a charm.

It is also more general than my attempt using data kinds, in the sense that it 
workes for any type of parameter, not just integers and strings.

Thanks for the advice.



More information about the Haskell-Cafe mailing list