The type constructor for lists in the Haskell Prelude is []. The type declaration for a list holding values of type Int is written as follows:
xs :: [Int] -- or equivalently, but less conveniently,
xs :: [] Int
Lists in Haskell are homogeneous sequences, which is to say that all elements mus...