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.