Деревья (найти ошибку в коде)

import Data.List
data LTree = Unit| 
              Char | 
              Bool ([LTree]) deriving Show
exist :: LTree -> String -> Bool
exist  str =[] = False
                (x:xs) | x == str  = True
                          | otherwise = xs
             
 
insert :: LTree -> String -> LTree
insert  [] = []
insert (Unit char) str (s:st) 
            | exist  str = 
            | otherwise = update dstr
 
completions :: LTree -> String -> [String]
completions  str =  [] = []
                         (x:xs) | x = x : xs
                                    | otherwise =  xs
     
 
ltree = build ["fa", "false", "far", "fare", "fact", "friend", "frize"]

exist  str =[] = False

data LTree = Unit Char Bool [LTree] deriving (Eq,Show)
 
-- Извлечь из узла букву
 
getC :: LTree -> Char
getC (Unit c _ _) = c
 
-- найти букву в списке узлов
 
search :: Char -> [LTree] -> [LTree]
search c [] = []
search c (lt:lts) | ((getC lt) == c) = [lt]
                  | otherwise = search c lts
 
-- проверить существование слова
 
exist :: LTree -> String -> Bool
exist (Unit c f more) []     = False  -- строка кончилась, но без индикатора конца
exist (Unit c f _) [w]    = (c == w) && f  -- найден последний символ 
exist (Unit c f more) (w1:ws) | (w1 /= c)  = False -- очередной символ не совпадает
                              | (lm == []) = False  -- очередной символ не найден в продолжении
                              | otherwise  = exist (head lm) ws --  очередной символ найден в продолжении
                                where lm = search (head ws) more
 
-- Проверка (в дереве слова "bux" и "bum"):
 
Main> exist (Unit 'b' False [(Unit 'u' False [(Unit 'm' True []),(Unit 'x' True [])])]) "bum"
True
Main> exist (Unit 'b' False [(Unit 'u' False [(Unit 'm' True []),(Unit 'x' True [])])]) "bux"
True
Main> exist (Unit 'b' False [(Unit 'u' False [(Unit 'm' True []),(Unit 'x' True [])])]) "bax"
False