[GHC] #8288: add idris style EDSL support for deep embedding lambdas

[GHC]

#8288: add idris style EDSL support for deep embedding lambdas
----------------------------+----------------------------------------------
        Reporter:  carter   |            Owner:
            Type:  feature  |           Status:  new
  request                   |        Milestone:  7.10.1
        Priority:  normal   |          Version:  7.6.3
       Component:           |         Keywords:
  Compiler                  |     Architecture:  Unknown/Multiple
      Resolution:           |       Difficulty:  Project (more than a week)
Operating System:           |       Blocked By:
  Unknown/Multiple          |  Related Tickets:
 Type of failure:           |
  None/Unknown              |
       Test Case:           |
        Blocking:           |
----------------------------+----------------------------------------------

Comment (by ydewit):

 Would this be what is termed 'Syntax Overloading' in Idris documentation?
 One other related aspect is being able to overload error messages too.

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