On Tue, 29 May 2007, Andrew Coppin wrote: > OTOH, how many function can you write with :: [Int] -> Int? I can think > of a few... You will probably more like to implement functions like Ord a => [a] -> a Num a => [a] -> a and those generalized signatures tell you more. :-)