<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>How do you explain `forall (r :: RuntimeRep) (a :: *) (b :: TYPE r).` using simple english?</div></div></blockquote><div><br></div><div>"for all 'a's that are lifted types and 'b's that are types of any runtime representation 'r'..."</div><div><br></div><div>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.</div><div> </div></div>Best regards,</div><div class="gmail_extra">Marcin Mrotek</div></div>