module Exercise_14 where

{- Library -- nicht veraendern -}

data Fml a = Var a | Neg (Fml a) | Conj [Fml a] | Disj [Fml a]
    deriving (Eq, Show)

{- H14.1 -}

{- braucht nicht implementiert zu werden -- außer um ihre eigene Lösung zu testen -}
uniqueElems :: Eq a => [a] -> [a]
uniqueElems = undefined


{- H14.2 -}

rename :: (a -> a) -> Fml a -> Fml a
rename = undefined