Re: [Haskell-beginners] newbie's perplexities about instance of "Info a" of Chapter 13 (Thompson's Haskell book)

David McBride writes:

In ghci try this:> examples :: [Int] It is enough that a is mentioned in the type of every function so that the compiler can figure out which instance is required when it is used.  In size you have to pass an a in to figure out what type it is, but in examples, it is enough to know that it is a list of a's.

Makes sense now. Thanks again for your help sir. Regards, Carmine