[GHC] #3699: Wildcards in type functions

[GHC]

#3699: Wildcards in type functions
--------------------------------------+-------------------------------------
    Reporter:  MartijnVanSteenbergen  |       Owner:              
        Type:  feature request        |      Status:  new         
    Priority:  normal                 |   Component:  Compiler    
     Version:  6.10.4                 |    Keywords:              
          Os:  Unknown/Multiple       |    Testcase:              
Architecture:  Unknown/Multiple       |     Failure:  None/Unknown
--------------------------------------+-------------------------------------
 I would like to be able to use wildcards in type synonym family instances,
 so that I can write:

 {{{
 type instance ErrorAlg (f :>: _) e a = ErrorAlg f e a
 }}}

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