D202: Injective type families

[Jan Stolarek]

> I now know how to use 'arc patch' to get a Phab ticket onto my disk.  But
> if I edit the code, can I make a git commit and upload it back to D202? 
> That would be akin to sharing a branch with (in this case Jan) the author. 
> How do I do that?  It is often more direct than making comments.
Not exactly on topic, but if this turns out to be impossible I can add you as a colaborator to my 
github fork of GHC.

Janek