diff --git a/types/koa-compose/index.d.ts b/types/koa-compose/index.d.ts
index f35b9ca208..3658a8fbce 100644
--- a/types/koa-compose/index.d.ts
+++ b/types/koa-compose/index.d.ts
@@ -1,14 +1,51 @@
 // Type definitions for koa-compose 3.2
 // Project: https://github.com/koajs/compose
 // Definitions by: jKey Lu <https://github.com/jkeylu>
+//                 Anton Astashov <https://github.com/astashov>
 // Definitions: https://github.com/DefinitelyTyped/DefinitelyTyped
 // TypeScript Version: 2.3
 
 import * as Koa from "koa";
 
-declare function compose<T, U, V, W>(
-    middleware: [Koa.Middleware<T, U>, Koa.Middleware<V, W>]
-): Koa.Middleware<T & V, U & W>;
+declare function compose<T1, U1, T2, U2>(
+    middleware: [Koa.Middleware<T1, U1>, Koa.Middleware<T2, U2>]
+): Koa.Middleware<T1 & T2, U1 & U2>;
+
+declare function compose<T1, U1, T2, U2, T3, U3>(
+    middleware: [Koa.Middleware<T1, U1>, Koa.Middleware<T2, U2>, Koa.Middleware<T3, U3>]
+): Koa.Middleware<T1 & T2 & T3, U1 & U2 & U3>;
+
+declare function compose<T1, U1, T2, U2, T3, U3, T4, U4>(
+    middleware: [Koa.Middleware<T1, U1>, Koa.Middleware<T2, U2>, Koa.Middleware<T3, U3>, Koa.Middleware<T4, U4>]
+): Koa.Middleware<T1 & T2 & T3 & T4, U1 & U2 & U3 & U4>;
+
+declare function compose<T1, U1, T2, U2, T3, U3, T4, U4, T5, U5>(
+    middleware: [
+        Koa.Middleware<T1, U1>, Koa.Middleware<T2, U2>, Koa.Middleware<T3, U3>, Koa.Middleware<T4, U4>,
+        Koa.Middleware<T5, U5>
+    ]
+): Koa.Middleware<T1 & T2 & T3 & T4 & T5, U1 & U2 & U3 & U4 & U5>;
+
+declare function compose<T1, U1, T2, U2, T3, U3, T4, U4, T5, U5, T6, U6>(
+    middleware: [
+        Koa.Middleware<T1, U1>, Koa.Middleware<T2, U2>, Koa.Middleware<T3, U3>, Koa.Middleware<T4, U4>,
+        Koa.Middleware<T5, U5>, Koa.Middleware<T6, U6>
+    ]
+): Koa.Middleware<T1 & T2 & T3 & T4 & T5 & T6, U1 & U2 & U3 & U4 & U5 & U6>;
+
+declare function compose<T1, U1, T2, U2, T3, U3, T4, U4, T5, U5, T6, U6, T7, U7>(
+    middleware: [
+        Koa.Middleware<T1, U1>, Koa.Middleware<T2, U2>, Koa.Middleware<T3, U3>, Koa.Middleware<T4, U4>,
+        Koa.Middleware<T5, U5>, Koa.Middleware<T6, U6>, Koa.Middleware<T7, U7>
+    ]
+): Koa.Middleware<T1 & T2 & T3 & T4 & T5 & T6 & T7, U1 & U2 & U3 & U4 & U5 & U6 & U7>;
+
+declare function compose<T1, U1, T2, U2, T3, U3, T4, U4, T5, U5, T6, U6, T7, U7, T8, U8>(
+    middleware: [
+        Koa.Middleware<T1, U1>, Koa.Middleware<T2, U2>, Koa.Middleware<T3, U3>, Koa.Middleware<T4, U4>,
+        Koa.Middleware<T5, U5>, Koa.Middleware<T6, U6>, Koa.Middleware<T7, U7>, Koa.Middleware<T8, U8>
+    ]
+): Koa.Middleware<T1 & T2 & T3 & T4 & T5 & T6 & T7 & T8, U1 & U2 & U3 & U4 & U5 & U6 & U7 & U8>;
 
 declare function compose<T>(middleware: Array<compose.Middleware<T>>): compose.ComposedMiddleware<T>;
 
diff --git a/types/koa-compose/koa-compose-tests.ts b/types/koa-compose/koa-compose-tests.ts
index 56b105e900..9b2ded25c4 100644
--- a/types/koa-compose/koa-compose-tests.ts
+++ b/types/koa-compose/koa-compose-tests.ts
@@ -49,3 +49,13 @@ new Koa<{}, {}>()
         ctx.body = "Something";
         await next();
     });
+
+new Koa<{}, {}>()
+    .use(compose([fooMiddleware, barMiddleware, wooMiddleware]))
+    .use(async (ctx, next) => {
+        ctx.state.foo;
+        ctx.state.bar;
+        ctx.state.woo;
+        ctx.body = "Something";
+        await next();
+    });