subset :: (Eq a) => [a] -> [a] -> Bool
subset a b = foldr q True a
  where q el cur = cur && (elem el b)
subset :: (Eq a) => [a] -> [a] -> Bool
subset a b = foldr q True a
  where q el cur = cur && (elem el b)
subset a b = foldr q True a
  where q el cur = cur && (elem el b)