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

[Carmine Moleti]

David McBride <toad3k <at> gmail.com> 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