Функции высшего порядка

data Child = PersData { name :: String, surname :: String, sex :: Sex} 
            | Family { mother :: String, father :: String, siblings :: Integer }
            | Contacts { phone_m :: String, phone_f :: String, phone_dop :: String }
            | Physical { age :: String, weight :: Integer, height :: Integer }
            | OtherData { group :: Integer, adress :: String, dis ::  Dis}
            deriving (Show, Eq)
            
data Sex = Male | Female | Sexless deriving (Show, Eq)
data Dis = True | False deriving (Show, Eq)
 
--по имени предоставляет данные семьи
getInfo :: [(Child, Child)] -> String -> [Child]
getInfo []_ = []
getInfo (((PersData name surname sex), (Family mother father siblings)):xs) info = if info == name then (Family mother father siblings) : getInfo xs info else getInfo xs info
getInfo (_:xs) info = getInfo xs info
 
--возвращает детей из заданной группы
getGroop :: [(Child, Child)] -> Integer -> [Child]
getGroop []_ = []
getGroop (((PersData name surname sex), (OtherData group adress dis)):xs) gr = if gr == group then (PersData name surname sex) : getGroop xs gr else getGroop xs gr
getGroop ((_,_):xs) gr = getGroop xs gr
 
--возвращает список адресов детей, из указанной группы и по наличию болезней
getAdress :: Integer -> Dis ->[Child] -> [String]
getAdress _ _ [] = []
getAdress a b ((OtherData group adress dis):xs) = if a == group && b == dis then adress : getAdress a b xs else getAdress a b xs
getAdress a b (_:xs) = getAdress a b xs

getName (PersData name _ _) = name
 
getInfo :: [(Child, Child)] -> String -> [Child]
getinfo xs name = map snd $  filter (\ x -> (getName (fst x))==name) xs