# Exercises: Type Arguments

1. (a) `Char -> Char -> Char`
2. (d) `Char`
3. (d) `Num b => b`
4. (c) `Double`
5. (a) `[Char]`
6. (e) `Eq b => b -> [Char]`
7. (d) `(Ord a, Num a) => a`, `a` is also of typeclass `Num` due to (`1 :: Num`)
8. (a) `(Ord a, Num a) => a`
9. (c) `Integer`