Atypical Types

Types in Haskell

Function types

        not                             Bool -> Bool
        words                           String -> [String]
        unwords                         [String] -> String

        length                          [a] -> Int
        reverse                         [a] -> [a]

        head                            [a] -> a
        tail                            [a] -> [a]
        :                               a -> [a] -> [a]

: is the "cons" operation

[1,2,3] is shorthand for 1:2:3:[]