Hi, I currently have a newtype definition of a typed Data.Map. newtype G = G Data.Map String Values I have done this because for my specific use-case, I can define G as a monoid and get some nice benefits. However, I find myself often just re-declaring functions of Data.Map and wrap/unwrap them in my Constructor G, such as singleton :: String -> Value -> G singleton s v = G $ (Data.Map.singleton s v) I think I do not need to limit the scope of G's functionality, I basically want everything from Data.Map + Bonus , like my Monoid. Also I want G to be a specific Data.Map, there is never any other case where it's not a Map String Values. However, if I have type G2 = Data.Map String Values I cannot instance Monoid. So, I am very sure that I'm not the first person ever doing this. Is there a language extension providing what I want? Or is what i want "bad"? Am I just missing a higher-order base function which does what I want? best regards & thanks Leonhard