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