[Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic

Marcin Mrotek marcin.jan.mrotek at gmail.com
Fri Feb 5 20:54:14 UTC 2016

> How do you explain `forall (r :: RuntimeRep) (a :: *) (b :: TYPE r).`
> using simple english?

"for all 'a's that are lifted types and 'b's that are types of any runtime
representation 'r'..."

I don't really want to argue what is "simple english". I'd agree that
Haskell's syntax is becoming more and more inadequate for expressing ideas
that are being introduced to the language, though.

Best regards,
Marcin Mrotek
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160205/c430f46f/attachment.html>

More information about the Haskell-Cafe mailing list