[GHC] #7725: Operators without colons

[GHC]

#7725: Operators without colons
----------------------------------------+-----------------------------------
Reporter:  monoidal                     |          Owner:                  
    Type:  bug                          |         Status:  new             
Priority:  normal                       |      Component:  Compiler        
 Version:  7.6.2                        |       Keywords:                  
      Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple
 Failure:  GHC accepts invalid program  |      Blockedby:                  
Blocking:                               |        Related:                  
----------------------------------------+-----------------------------------

Comment(by monoidal):

 I now realized that with -XDataKinds this declaration is not useless:
 {{{(&) x y}}} becomes a type of kind {{{A x y}}}. Still, it's rather rough
 - for example, {{{:i (&)}}} does not work. A possible solution would be
 implementing GhcKinds/KindsWithoutData and letting

 {{{data kind A x y = (&) x y}}}

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