Changes to ghc

Changes to ghc:
commit d4f0fcf368765ae4aa7ebe914bc2f254026694c8
Author: Austin Seipp <austin@well-typed.com>
Date:   Thu Jan 9 01:02:56 2014 -0600

    Document Proxy# (#8658)

    Signed-off-by: Austin Seipp <austin@well-typed.com>