He actualizado las soluciones del ejercicio «Desemparejamiento de listas» cuyo enunciado es

Definir la función

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

tal que (desemparejada ps) es el par de lista (xs,ys) tal que al emparejar (con zip) xs e ys devuelve ps. Por ejemplo,

λ> desemparejada [(3,'l'),(2,'u'),(5,'i'),(9,'s')]
([3,2,5,9],"luis")

Comprobar con QuickCheck que

• desemparejada es equivalente a la función predefinida unzip.
• si el valor de (desemparejada ps) es (xs,ys), entonces (zip xs ys) es igual a ps.

Nota: Puedes consultar las soluciones aquí.