[GHC] #5380: Too general type with Arrows extension

[GHC]

#5380: Too general type with Arrows extension
-------------------------------+--------------------------------------------
    Reporter:  sebf            |        Owner:                             
        Type:  bug             |       Status:  new                        
    Priority:  highest         |    Milestone:  7.4.1                      
   Component:  Compiler        |      Version:  7.0.3                      
    Keywords:                  |     Testcase:                             
   Blockedby:                  |   Difficulty:                             
          Os:  Linux           |     Blocking:                             
Architecture:  x86_64 (amd64)  |      Failure:  GHC accepts invalid program
-------------------------------+--------------------------------------------

Comment(by daniel.is.fischer):

 Might be obvious, but I tested it anyway: 6.12.3 rejected the programme
 demanding Bool resp. ().

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