NthCo (FunCo a b) doesn't optimise
There is a missing case in GHC.Core.Coercion.Opt for NthCo (FunCo ...). There really should be.
In looking at perf/compiler/T5321Fun I saw lots of opportunities for exploiting this optimisation.
@rae says he'll do this.