[Haskell] Rank-N types with (.) composition

[Brandon Allbery]

On Tue, Feb 10, 2015 at 6:19 PM, Tyson Whitehead <twhitehead at gmail.com>
wrote:

> Out of curiosity, how would you write the special internal type that ($)
> has that separates it from ($') above?


I don't think there's any way to write the type. Remember that GHC uses
System Fc internally; that can represent more types than can be written in
source code. That said, you can probably examine generated Core to see what
it looks like in System Fc.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20150210/c1311f7d/attachment.html>