We had the idea that you might be able to define
a default instance for an associated type family, thus:

   class C a where
     type T a :: *
     type T a = a -> a

It's an idea that makes sense, but it was only 10% implemented.
This patch just removes that misleading 10%.