Commutativity
Un/currying dep pairs