Eta reduce type synonyms when possible

If you can eta reduce a type synonym, it is always better:

-- Bad
type F a = Maybe a
instance Functor F -- illegal, partially applied type synonym! 
-- Good
type F = Maybe
instance Functor F -- ok with type synonym instances

So... GHC should do this automatically for users. Ordinarily this is not terribly important (thus the priority); in the context of #12680 it is a modestly helpful affordance which allows a user to implement data Map a using type Map a = HashMap a (signature matching requires the type synonym to be nullary.)

Trac metadata

Trac field	Value
Version	8.1
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	lowest
Resolution	Unresolved
Component	Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	goldfire
Operating system
Architecture

changed weight to 0

added Tfeature request Trac import backpack typechecker labels

I'm -1 on this change, as it is very easy for a user to specify that they want eta-reduction. With this change, partially applying a type synonym would sometimes work and sometimes not, in ways that are perhaps surprising to users.

closed

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedWon'tFix

added Plow label