[Haskell-cafe] Mapping over Type Level Literals

[Richard Eisenberg]

On Sep 11, 2014, at 8:58 AM, Dominic Steinitz <dominic at steinitz.org> 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