Habría varias formas. Una podría ser mediante dobleces: ```haskell split :: Ord a => a -> [a] -> ([a],[a]) split x xs = foldl aux ([],[]) xs where aux (ys,zs) w | w <= x = (w:ys, zs) | otherwise = (ys, w:zs) ``` Más clara queda definida por recursividad: ```haskell split :: Ord a => a -> [a] -> ([a],[a]) split _ [] = ([],[]) split x (y:ys) | y <= x = (y:zs, ws) | otherwise = (zs, y:ws) where zs, ws = split x ys ``` Incluso una versión compacta con aplicativos, más matemática: ```haskell split :: Ord a => a -> [a] -> ([a],[a]) split x = (,) <$> filter (<= x) <*> filter (> x) ```