Próbuję zaimplementować funkcję (opisaną poniżej), która pobiera dwie listy (każda lub obie mogą być nieskończone) i zwrócić listę krotek wszystkich możliwych par elementów między listami

zipInf :: [a] -> [b] -> [(a,b)]

(np. wynik powinien być taki, ale nie musi być dokładnie taki jak ten)

zipInf [0 .. 2] ['A' .. 'C'] ~> [(0,'A'),(1,'A'),(0,'B'),(1,'B'),(0,'C'),(2,'A'),(2,'B'),(1,'C'),(2,'C')]

zipInf [] [0 ..] ~> []

zipInf [0 ..] [] ~> []

take 9 (zipInf ['A'] [0 .. ]) ~> [('A',0),('A',1),('A',2),('A',3),('A',4),('A',5),('A',6),('A',7),('A',8)]

Zacząłem go realizować w ten sposób:

zipInf :: [a] -> [b] -> [(a,b)]
zipInf [] _ = []
zipInf _ [] = []
zipInf

Chciałem przekazać listę do funkcji pomocniczej, aby utworzyć listy, ale ta, którą stworzyłem, nie kompiluje się i nie wie, jak obsługiwać nieskończone listy

Funkcja pomocnika

oneList :: [a] -> [b] [(a,b)]
oneList [] _ = []
oneList x:xs y:ys = [(x,y)] ++ oneList