[GHC] #7015: Add support for 'static'

[GHC]

#7015: Add support for 'static'
-------------------------------------+-------------------------------------
              Reporter:  edsko       |            Owner:
                  Type:  feature     |           Status:  patch
  request                            |        Milestone:  7.10.1
              Priority:  normal      |          Version:  7.4.2
             Component:  Compiler    |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:  Phab:D119   |
-------------------------------------+-------------------------------------

Comment (by edsko):

 One thing I was wondering about: clearly, solving the general problem of
 impredicativity would take us way off too far here; but if the type
 checker ''knows'' about static, just like, say, it knows about ADTs, then
 perhaps it wouldn't be too difficult to support things like `static
 (forall a. a -> a)`, just like it supports universally quantified types as
 arguments to ADT constructors?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:27>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler