-- For lists.

-- | Helper function for check functions. Given two lists of lists, returns a list
--   of lists of pairs.
zipLists :: [[a]] -> [[b]] -> [[(a, b)]]
zipLists [] _ = []
zipLists :: [[a]] -> [[b]] -> [[(a, b)]]
zipLists [] _ = []
zipLists [] _ = []