patch applied (ghc-fc2): Check category of type instances and some newtype family fixes

[chak at cse.unsw.edu.au]

Thu Aug 31 13:54:14 PDT 2006  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Check category of type instances and some newtype family fixes

    M ./compiler/typecheck/TcTyClsDecls.lhs -6 +24
    M ./compiler/typecheck/TcTyDecls.lhs -2 +4
    M ./compiler/types/TyCon.lhs -4 +9
    M ./compiler/types/Type.lhs -3 +5