Habría varias formas. Una podría ser mediante dobleces:
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:
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:
split :: Ord a => a -> [a] -> ([a],[a])
split x = (,) <$> filter (<= x) <*> filter (> x)