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