middleware4: Middleware<A4 | A5 | A6 | A7 | A8 | A9, A5 | A6 | A7 | A8 | A9>,