[Haskell-cafe] MultiParamClasses question

[Stephen Tetley]

Hi Eugeny

Its not that GHC thinks you're doing something weird, but that there
is no relation between the type parameters in the Storage class. You
could use either functional dependencies or type families to introduce
a relation / relations, but personally I would look at doing something
simpler - for instance why do you need a map type that is polymorphic
on shape?

Best wishes

Stephen