Changes to ghc(3) testsuite(3)

Changes to ghc:
commit 6200809210bcca734092a1524665b7bce0239203
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Tue Nov 19 17:11:08 2013 +0000

    Explain higher-kinded Coerctions in Note [Coercible Instances]

    (although there is not really a lot to explain, it seems.)

commit 2f7d3d87938571f3627618eaa3ebe94d9d77f02c
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Tue Nov 19 12:09:40 2013 +0000

    Coercible: Do not try to unwrap undersaturated newtypes

    otherwise we get a panic.

commit 976a1087ae75accb4ad9d869d14641b2581c1606
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Tue Nov 19 11:46:25 2013 +0000

    Make Coercible higher-kinded

    This implements #8541. The changes are fully straight forward and work
    nicely for the examples from the ticket; this is mostly due to the
    existing code not checking for saturation and kindness.

Changes to testsuite:
commit 49a978e079b9007e23accc0ed927d8435fc9168e
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Tue Nov 19 12:15:30 2013 +0000

    Test coercing under under-saturated newtypes

commit 90554a88bee5b492b4d4625ef30b23b9a7915347
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Tue Nov 19 12:01:27 2013 +0000

    Test case for undersaturated newtype in Coercions

    This is related to #8541.

commit bbfaff2fa89b21bee058af7e6e6ddd66524524d0
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Tue Nov 19 11:48:59 2013 +0000

    Add examples from #8541 to testsuite