Data.PolyDict
type family DictValue v :: Constraint where ...
type family Assoc n (k :: Symbol)
data Dict n
data Key k
lookup
insert
access
access'
empty