Syntax error in expression (unexpected `;', possibly due to bad layout)

getBDate::[Note String Integer] -> String -> (Integer,Integer,Integer) 
getBDate[] _ = (0, 0, 0) 
getBDate ((BDate a (b, c, d)):xs) n = if a==n then (b, c, d) else getBDate xs n 
getBDate (_:xs) n = getBDate xs n 
 
getPhone::[Note String Integer] -> String -> Integer 
getPhone[] _ = 0 
getPhone ((Phone a b):xs) n = if a==n then b else getPhone xs n 
getPhone (_:xs) n = getPhone xs n
 
getByName::[Note String Integer] -> String -> (String, (Integer,Integer,Integer), Integer) 
getByName[] _ = ("", (0,0,0), 0) 
getByName ((BDate a (b,c,d)):xs) n = if a == n then (n, (b, c, d) , getPhone book n) 
else getByName xs n 
getByName ((Phone a b):xs) n = if a == n then (n, getBDate xs n , b) 
else getByName xs n 
getByName (_:xs) n = getByName xs n
 
getByLetter::[Note String Integer] -> Char -> String -> [String] 
getByLetter[] _ _ =[] 
getByLetter ((BDate a _):xs) n m = if (head a) == n && m /= a 
then a:getByLetter xs n a 
else getByLetter xs n m 
getByLetter ((Phone a _):xs) n m = if (head a) == n && m /= a 
then a:getByLetter xs n a 
else getByLetter xs n m 
getByLetter ((Meet _ a):xs) n m = if (head a) == n && m /= a 
then a:getByLetter xs n a 
else getByLetter xs n m
 
getAssigment::[Note String Integer] -> (Integer,Integer,Integer) -> [(String,Integer)] 
getAssigment[] _ = [] 
getAssigment((BDate a (b,c,e)):xs) (d,m,y) = if ((b==d)&&(c==m)&&((e==y)||(eelse getAssigment xs (d,m,y) 
getAssigment((Meet  (b,c,e) a):xs) (d,m,y) = if ((b==d)&&(c==m)&&((e==y)||(eelse getAssigment xs (d,m,y) 
getAssigment(_:xs) (d,m,y) = getAssigment xs (d,m,y)

getAssigment::[Note String Integer] -> (Integer,Integer,Integer) -> [(String,Integer)] 
getAssigment[] _ = [] 
getAssigment((BDate a (b,c,e)):xs) (d,m,y) = if ((b==d)&&(c==m)&&(e==y) then a else getAssigment xs (d,m,y) 
getAssigment((Meet  (b,c,e) a):xs) (d,m,y) = if ((b==d)&&(c==m)&&(e==y) then a else getAssigment xs (d,m,y) 
getAssigment(_:xs) (d,m,y) = getAssigment xs (d,m,y)

getAssigment::[Note String Integer] -> (Integer,Integer,Integer) -> [(String,Integer)] 
getAssigment[] _ = [] 
getAssigment((BDate a (b,c,e)):xs) (d,m,y) = if (b==d)&&(c==m)&&(e==y) then a else getAssigment xs (d,m,y) 
getAssigment((Meet  (b,c,e) a):xs) (d,m,y) = if (b==d)&&(c==m)&&(e==y) then a else getAssigment xs (d,m,y) 
getAssigment(_:xs) (d,m,y) = getAssigment xs (d,m,y)

data Note = BDay String (Int,Int) | Phone String Int | Meet String (Int,Int,Int)
 
getBday :: [Note] -> String -> Maybe (Int,Int)
getBday [] _                   = Nothing
getBday ((BDay s (d,m)):ns) name = if (s==name) then Just (d,m) else getBday ns name
getBday ((Phone _ _):ns) name    = getBday ns name
getBday ((Meet _ _):ns) name     = getBday ns name
 
getPhone :: [Note] -> String -> Maybe Int
getPhone [] _                  = Nothing
getPhone ((Phone s i):ns) name = if (s==name) then Just i else getPhone ns name
getPhone ((BDay _ _):ns) name  = getPhone ns name
getPhone ((Meet _ _):ns) name  = getPhone ns name
 
getByName :: [Note] -> String -> (Maybe Int, Maybe (Int,Int))
getByName ns name = ((getPhone ns name),(getBday ns name))
 
-- Проверяем:
 
Main> getByName [(BDay "Bob" (28,9)),(BDay "Nick" (23,8)),(Phone "Nick" 1234),(BDay "Alex" (11,11))] "Aly"
(Nothing,Nothing)
 
Main> getByName [(BDay "Bob" (28,9)),(BDay "Nick" (23,8)),(Phone "Nick" 1234),(BDay "Alex" (11,11))] "Alex"
(Nothing,Just (11,11))
 
Main> getByName [(BDay "Bob" (28,9)),(BDay "Nick" (23,8)),(Phone "Nick" 1234),(BDay "Alex" (11,11))] "Nick"
(Just 1234,Just (23,8))

getByLetter' :: [Note] -> Char -> [String]
getByLetter' [] _ = []
getByLetter' ((Phone s i):ns) c | (head s == c) = s : getByLetter' ns c
                                | otherwise = getByLetter' ns c
getByLetter' ((BDay s _):ns) c  | (head s == c) = s : getByLetter' ns c
                                | otherwise = getByLetter' ns c
getByLetter' ((Meet s _):ns) c  | (head s == c) = s : getByLetter' ns c
                                | otherwise = getByLetter' ns c
                               
nub :: Eq a => [a] -> [a] -> [a]
nub [] r = r
nub (x:xs) r | (x `elem` r) = nub xs r
             | otherwise = nub xs (x:r)    
                               
getByLetter :: [Note] -> Char -> [String]
getByLetter n c = nub (getByLetter' n c) []