Data.Extensible.Dictionary

class Reifiable c

type WrapForall c h

class Instance1 c h x