On Tue, Feb 10, 2015 at 6:19 PM, Tyson Whitehead <twhitehead@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@gmail.com ballbery@sinenomine.net

unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net