1. True :: Bool 2. (False, True) :: (Bool, Bool) 3. [False, True] :: [Bool] 4. "True" :: [Char] 5. ['4', '2'] :: [Char] 6. ["4", "2"] :: [[Char]] 7. ([True], "True") :: ([Bool], [Char]) 8. [("a", 'b'), ("A", 'B')] :: [([Char], Char)] 9. [1, 2, 3] :: [int] 10. ['O', '0', 0] :: Ungültig, weil in Listen nur ein Typ verwendet werden kann! 11. [[], ['0'], ['1', '2']] :: [[Char]] 12. ["foo", ['b', 'a', 'r']] :: [[Char]] 13. ("head", head) :: ([Char], [a] -> a) 14. [head, length] :: [[Int] -> Int] 15. blub :: Ungültig, weil bei blub die Typkonstruktoren fehlen und keine Funktion in haskell ist!