Data.Apiary.Dict
data Dict ks
empty
insert
class Member k v kvs
key
data Elem
type NotMember k kvs
type family Member' k kvs :: Bool
type family Members kvs prms :: Constraint