[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           |   Component:  Compiler
     Version:  6.8.2            |    Severity:  normal  
    Keywords:                   |    Testcase:          
Architecture:  Unknown          |          Os:  Unknown 
--------------------------------+-------------------------------------------
 See http://www.haskell.org/pipermail/haskell/2008-February/020230.html

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