# Exercises: Type Matching
1. (c) `not :: Bool -> Bool`
2. (d) `length :: [a] -> Int`
3. (b) `concat :: [[a]] -> [a]`
4. (a) `head :: [a] -> a`
5. (e) `(<) :: Ord a => a -> a -> Bool`