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)
```