Dictionary with comparer as type parameter

Tired of confusing dictionary instances with different comparers (I am)? Stick it in the type, à la ocaml-core maps.