Network.Routing.Dict
data Store kvs
type k </ v
add
data Dict kvs
class Member k v kvs
get
class ShowDict kvs
data KV v
type family Members kvs prms :: Constraint