How to embed Multiple parameter types in a single type container with a class constraint
I would like to create a Haskell class which perform operations on multiples data types. For an example, I would like to add a value on all elements of a Map structure and retrieve a new Map.