En Haskell, cómo generar un árbol de búsqueda binaria perfectamente equilibrado?

Ordenar la lista de entrada. Ahora cree un árbol cuyo nodo raíz es el elemento central de la lista, y cuyos subárboles izquierdo y derecho son las sub-estructuras generadas por la aplicación de este proceso a las sublistas a la izquierda ya la derecha del centro, respectivamente.

En Haskell:

buildBalanced []   = Empty
buildBalanced elts = Node (buildBalanced $ take half elts) 
                          (elts !! half) 
                          (buildBalanced $ drop (half+1) elts)
    where half = length elts `quot` 2

main = putStrLn $ show $ buildBalanced [1,2,3,4,5,6,7,8]
-- prints Node (Node (Node (Node Empty 1 Empty) 2 Empty) 3 (Node Empty 4 Empty)) 5 (Node (Node Empty 6 Empty) 7 (Node Empty 8 Empty))

Si la parte superior del árbol debe ser el elemento central:

mkBalanced [] = Empty
mkBalanced xs = Node mid (mkBalanced half0) (mkBalanced half1)
    where (half0, half') = splitAt ((length xs `div` 2) - 1) xs
          half1 = tail half'
          mid = head half'

Si no:

mkBalanced [] = Empty
mkBalanced (x:xs) = Node x (mkBalanced half0) (mkBalanced half1)
    where (half0, half1) = splitAt (length xs `div` 2) xs