Re: [Haskell-cafe] Mapping over Type Level Literals

On Sep 11, 2014, at 8:58 AM, Dominic Steinitz wrote:

But now of course I would like to map over n and k but these are at the type level. Can this be done? I imagine unsafeCoerce would have to come into it somewhere.

Mapping at the type level is probably possible, but I don't see exactly what you mean -- there aren't any lists around to map with. If you make the example a little more concrete, I may be able to help. Richard