<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">I am working on a branch of GHC, actually on !8210.  I have rebased on master.  Then I say</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div></div>