Hi,

It seems that type constructors don't allow usage of typeclasses. Is it not possible to create polymorphic types in Haskell by declaration?

For example I want a map with String keys and anything that is Showable as values:

newtype MyMap = Map String Show

How can I do that?

Thanks,

Razvan