Changes to ghc(2)

Changes to ghc:
commit 836981c7dec5c794ca94408468535cc018dc2e82
Author: Iavor S. Diatchki <diatchki@galois.com>
Date:   Mon Jun 16 15:58:49 2014 -0700

    Redo instance to be more efficient (see #8778, #9203)

commit e09be5ff6e92593ba8e1202b1574a62a17b329ba
Author: Iavor S. Diatchki <diatchki@galois.com>
Date:   Mon Jun 16 15:56:19 2014 -0700

    Update the incorrect comment on when function was introduced.