 
            
            
            
            
                4 Dec
                
                    2011
                
            
            
                4 Dec
                
                '11
                
            
            
            
        
    
                12:45 p.m.
            
        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)