[GHC] #8411: TypeSynonymInstances with partial type

[GHC]

#8411: TypeSynonymInstances with partial type
----------------------------+----------------------------------------------
       Reporter:  wvv       |             Owner:
           Type:  bug       |            Status:  new
       Priority:  normal    |         Milestone:
      Component:  Compiler  |           Version:  7.6.3
       Keywords:            |  Operating System:  Unknown/Multiple
   Architecture:            |   Type of failure:  GHC rejects valid program
  Unknown/Multiple          |         Test Case:
     Difficulty:  Unknown   |          Blocking:
     Blocked By:            |
Related Tickets:            |
----------------------------+----------------------------------------------
 TypeSynonymInstances allow only full synonyms. With

 {{{
 {-# LANGUAGE TypeSynonymInstances #-}

 type RTuple b a = (a, b)

 instance Monad (RTuple b) where ...
 -- or
 instance Monad (RTuple b :: * -> *) where ...
 }}}

 I got next error:
 {{{
 test.hs:17:22:
     Type synonym `RevTuple' should have 2 arguments, but has been given 1
     In the instance declaration for `Monad (RTuple b :: * -> *)'
 }}}

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