<div dir="ltr">Can someone give me a clever way to implement mapKeysMaybe, defined as follows?<div><br></div><div>Ord k => (k -> Maybe k) -> Map k a -> Map k a</div><div><br></div><div>where the transformed keys that evaluate to Just are the only ones kept?</div><div><br></div><div>I am thinking this will probably help me understand a new type, like traversable or something.</div><div><br></div></div>