Update dependencies

.vscode/settings.json

@@ -0,0 +1,3 @@
+{
+  "typescript.tsdk": "node_modules/typescript/lib"
+}

lib/utils.ts

@@ -266,8 +266,7 @@ export type _AllIndexesSuperset<
   Tuple extends [] ? 'empty' : IsFinite<Tuple, 'nonEmpty', 'infinite'>
 ]
 
-export type Prepend<Tuple extends any[], Addend> =
-  ((_: Addend, ..._1: Tuple) => any) extends ((..._: infer Result) => any) ? Result : never
+export type Prepend<Tuple extends any[], Addend> = [Addend, ...Tuple]
 
 export type Reverse<Tuple extends any[], Prefix extends any[] = []> = {
   empty: Prefix,
@@ -284,23 +283,7 @@ export type Reverse<Tuple extends any[], Prefix extends any[] = []> = {
     : 'empty'
 ]
 
-export type Concat<Left extends any[], Right extends any[]> = {
-  emptyLeft: Right
-  singleLeft: Left extends [infer SoleElement]
-    ? Prepend<Right, SoleElement>
-    : never
-  multiLeft: ((..._: Reverse<Left>) => any) extends ((_: infer LeftLast, ..._1: infer ReversedLeftRest) => any)
-    ? Concat<Reverse<ReversedLeftRest>, Prepend<Right, LeftLast>>
-    : never
-  infiniteLeft: {
-    ERROR: 'Left is not finite',
-    CODENAME: 'InfiniteLeft' & 'Infinite'
-  }
-}[
-  Left extends [] ? 'emptyLeft' :
-  Left extends [any] ? 'singleLeft' :
-  IsFinite<Left, 'multiLeft', 'infiniteLeft'>
-]
+export type Concat<Left extends any[], Right extends any[]> = [...Left, ...Right]
 
 export type Repeat<Type, Count extends number, Holder extends any[] = []> =
   Count extends never ? never :

package.json

@@ -32,11 +32,11 @@
     "typescript-compare": "^0.0.2"
   },
   "devDependencies": {
-    "typescript": "~3.1.1",
-    "tslint": "^6.0.0",
-    "tslint-config-standard": "^8.0.1",
-    "static-type-assert": "^3.0.0",
-    "toolcheck": "^0.0.5",
-    "clean-typescript-build": "^0.1.0"
+    "typescript": "^4.0.2",
+    "tslint": "^6.1.3",
+    "tslint-config-standard": "^9.0.0",
+    "static-type-assert": "^4.0.0",
+    "toolcheck": "^0.1.4",
+    "clean-typescript-build": "^0.1.5"
   }
 }