[GHC] #2101: Allow some form of type-level lemma

[GHC]

#2101: Allow some form of type-level lemma
-----------------------------+----------------------------------------------
 Reporter:  guest            |          Owner:         
     Type:  feature request  |         Status:  new    
 Priority:  normal           |      Milestone:  _|_    
Component:  Compiler         |        Version:  6.8.2  
 Severity:  normal           |     Resolution:         
 Keywords:                   |     Difficulty:  Unknown
 Testcase:                   |   Architecture:  Unknown
       Os:  Unknown          |  
-----------------------------+----------------------------------------------
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => _|_

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