[Haskell-beginners] Type classes and synonyms

[pbrowne]

On Sat, Nov 21, 2009 at 21:08 Felipe Lessa wrote:
> Most definitions, if not all, are just the corresponding free theorems
> (meaning roughly that the definition follows from the type
> because that's the only definition that doesn't have
> undefined's).

Question: Is it correct to paraphrase Felipe's description as follows:
In Haskell the *term theorems for free* means roughly that the
definition of a class, instance or a function follows from the supplied
types because they are the only types that don’t have undefined argumens
 or undefined return types.

Regards,
Pat