ListSetOps
type Assoc a b