Lei do tipo [[a]] -> ([a], [a])

Estou tentando fazer esta pergunta do meu dever de casa: Dado arbitrário foo :: [[a]] -> ([a], [a]), escreva uma lei que a função foosatisfaça, envolvendo maplistas e pares. Algum contexto: Eu sou o primeiro ano de graduação fazendo um curso de programação funcional. Embora o curso seja...