Data.Extensible.Dictionary
type DictOf c g h
dictShow
dictEq
dictOrd
data WrapMonoid h x
dictMonoid
type WrapForall c h
class Instance1 c h x