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
