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!
{"html5":"htmlmixed","css":"css","javascript":"javascript","php":"php","python":"python","ruby":"ruby","lua":"text\/x-lua","bash":"text\/x-sh","go":"go","c":"text\/x-csrc","cpp":"text\/x-c++src","diff":"diff","latex":"stex","sql":"sql","xml":"xml","apl":"apl","asterisk":"asterisk","c_loadrunner":"text\/x-csrc","c_mac":"text\/x-csrc","coffeescript":"text\/x-coffeescript","csharp":"text\/x-csharp","d":"d","ecmascript":"javascript","erlang":"erlang","groovy":"text\/x-groovy","haskell":"text\/x-haskell","haxe":"text\/x-haxe","html4strict":"htmlmixed","java":"text\/x-java","java5":"text\/x-java","jquery":"javascript","mirc":"mirc","mysql":"sql","ocaml":"text\/x-ocaml","pascal":"text\/x-pascal","perl":"perl","perl6":"perl","plsql":"sql","properties":"text\/x-properties","q":"text\/x-q","scala":"scala","scheme":"text\/x-scheme","tcl":"text\/x-tcl","vb":"text\/x-vb","verilog":"text\/x-verilog","yaml":"text\/x-yaml","z80":"text\/x-z80"}