(-<=) :: (Eq a) => [[a]] -> [[a]] -> Bool
(-<=) a b = foldr q True b
  where q bel cur = cur && (not . null $ filter (\ael -> subset ael bel)  a )
(-<=) :: (Eq a) => [[a]] -> [[a]] -> Bool
(-<=) a b = foldr q True b
  where q bel cur = cur && (not . null $ filter (\ael -> subset ael bel)  a )
(-<=) a b = foldr q True b
  where q bel cur = cur && (not . null $ filter (\ael -> subset ael bel)  a )