[GHC] #4356: type instance doesn't work when the type is (->)

[GHC]

#4356: type instance doesn't work when the type is (->)
--------------------------------+-------------------------------------------
    Reporter:  sjoerd_visscher  |       Owner:                           
        Type:  bug              |      Status:  new                      
    Priority:  normal           |   Component:  Compiler (Type checker)  
     Version:  7.1              |    Keywords:                           
    Testcase:                   |   Blockedby:                           
          Os:  MacOS X          |    Blocking:                           
Architecture:  x86_64 (amd64)   |     Failure:  GHC rejects valid program
--------------------------------+-------------------------------------------

Comment(by sjoerd_visscher):

 Should have used preview. Here's the code again:

 {{{
 {-# LANGUAGE TypeFamilies #-}

 type family T t :: * -> * -> *
 type instance T Bool = (->)

 f :: T Bool Bool Bool
 f = not
 }}}

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