Ley para el tipo [[a]] -> ([a], [a])

Estoy tratando de hacer esta pregunta desde mi tarea: Dado arbitrario foo :: [[a]] -> ([a], [a]), escriba una ley que foosatisfaga la función , involucrando mapen listas y pares. Algún contexto: soy un estudiante de primer año que toma un curso de programación funcional. Si bien el curso es...