Excerpts from Felipe Almeida Lessa's message of Sun Dec 04 12:41:54 -0500 2011: > It seems I may have missed something then. It gets a map with keys of > type 'Reverse k', uses 'reverse' to get 'Reverse (Reverse k)' and then > unsafeCoerces to 'k'. Doesn't it? =) Ah yes, I seem to have misunderstood the code. Carry on. 8)