Types in Haskell

Polymorphism

        []                              [a]
        [ [1,2,3], [], [] ]             [[Integer]]
        [ ['p', 'i', 'e'], [], [] ]     [[Char]]

        ([], [])                        ([a], [b])