Eu estou tentando implementar uma função (descrita abaixo) que leva duas listas (cada um ou ambos podem ser infinitos) e retornar uma lista de tuplas de todos os possíveis pares de elementos entre as listas

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

(por exemplo, a saída deve ser assim, mas não precisa ser exatamente assim)

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)]

Eu comecei a implementá-lo assim:

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

Eu queria alimentar a lista em uma função auxiliar para produzir as listas, mas a que eu fiz não consegue compilar e não sabe como lidar com listas infinitas

Função auxiliar

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