[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 request             |            Status:  new
       Priority:  normal                      |         Milestone:  7.10.1
      Component:  Compiler                    |           Version:  7.6.3
       Keywords:                              |  Operating System:
   Architecture:  Unknown/Multiple            |  Unknown/Multiple
     Difficulty:  Project (more than a week)  |   Type of failure:
     Blocked By:                              |  None/Unknown
Related Tickets:                              |         Test Case:
                                              |          Blocking:
----------------------------------------------+----------------------------
 I could be wrong, but I think this would actually make it much easier to
 write interesting EDSLs and have a native haskelly syntax.

 This would sort of be in the same vein as the recently requested
 applicative brackets idea, albeit a tad more going on .

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