@@ -125,8 +125,8 @@ class Subset s t where
125instance Subset '[] '[] where
125instance Subset '[] '[] where
126 subset xs = Empty
126 subset xs = Empty
128−instance Subset '[] (x ': t) where
128+instance Subset s t => Subset s (x ': t) where
129− subset xs = Empty
129+ subset (Ext _ xs) = subset xs
131instance Subset s t => Subset (x ': s) (x ': t) where
131instance Subset s t => Subset (x ': s) (x ': t) where
132 subset (Ext x xs) = Ext x (subset xs)
132 subset (Ext x xs) = Ext x (subset xs)