Meta: Write more passes

[sgraf812]

Find programs on which we perform less than ideal, think of passes that would improve the situation.

Programs on which we perform "less than ideal":

• ticket16979
• ticket8763
• ticket15753
• ticket18098
• ticket18140

Passes that could help:

• more simplification of expressions by replacing it with subexpression (for example tuples)
• more simplification of types by replacing them with parameter type
• deleting unused parameters (wildcard patterns)
• unqualifying imports
• unqualifying names
• simplify deriving clauses
• turn record constructors into prefix data constructors
• renaming / shortening of names
• un-polymorphize function, apply beta reduction on forall
• simplifying data constructors, deleting unused type parameters
• inlining data declarations with one data constructor
• inlining type aliases
• evaluating / inlining template haskell
• simplifying literals (for example Strings)
• deleting type variables one by one from contexts
• deleting type variables one by one from foralls