Excerpts from Felipe Almeida Lessa's message of Wed Nov 30 07:51:20 -0500 2011: > reverse' :: Map (Reverse k) a -> Map k a > reverse' = unsafeCoerce . reverse > > Sorry, couldn't resist =). I might be confused, but doesn't this break internal invariants in Map? Edward