dorchard/type-level-sets — pull request #2 by notogawa (2014-12-24 15:50:41+00:00)
Title: missing Subset instance

`'["x" :-> Bar]` should be a subset of `'["w" :-> Foo, "x" :-> Bar]`.