[resubmitted] Fix #9061: Treat type F <: [X] => G like type F[X] <: G.#9086