Tue Jul 10 05:47:38 PDT 2007 Ian Lynagh <igloo at earth.li>
* Fix tcInstHeadTyNotSynonym
It was returning False for type variables amongst other things, so
"instance C a" was telling us to use -XTypeSynonymInstances.
M ./compiler/typecheck/TcType.lhs -4 +3