module Exercise_14 where
import qualified Data.List


{---------------------------------------------------------------------}
{- Aufgabe G14.1 -}

delete :: Eq a => a -> [a] -> [a]
delete = Data.List.delete {- falsche Implementierung -}



{---------------------------------------------------------------------}
{- Aufgabe G14.1 -}

concat'' :: [[a]] -> [a]
concat'' = undefined



{---------------------------------------------------------------------}
{- Aufgabe G14.1 -}

{-

map (*2) (1 : threes) !! 1

(\f -> \x -> x + f 2) (\y -> y * 2) (3 + 1)

filter (/=3) threes

-}



{---------------------------------------------------------------------}
{- Aufgabe H14.1 -}

{- Type me! -}



{---------------------------------------------------------------------}
{- Aufgabe H14.2 -}

{- Proof me! -}



{---------------------------------------------------------------------}
{- Aufgabe H14.3 -}

filterMap :: (a -> Maybe b) -> [a] -> [b]
filterMap = undefined