It's more natural to consider the cross product of no sets to be [[]] so your crossr becomes:crossr [] = [[]]crossr (x:xs) = concat (map (\h ->map (\t -> h:t) (crossr tail)) hd