[GHC] #9636: Function with type error accepted

[GHC]

#9636: Function with type error accepted
-------------------------------------+-------------------------------------
              Reporter:  augustss    |            Owner:
                  Type:  bug         |           Status:  new
              Priority:  normal      |        Milestone:
             Component:  Compiler    |          Version:  7.8.3
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by augustss):

 Just to follow up on my last comment.  Treating type family names as some
 kind of type constructors means that we still have logic programming on
 the type level, just some better syntax for relation symbols that act as
 functions.  I was hoping for functional programming at the type level.

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