diff --git a/arithmetics.ts b/arithmetics.ts
index 350ae0e..6197973 100644
--- a/arithmetics.ts
+++ b/arithmetics.ts
@@ -29,3 +29,5 @@ type Fib<N extends Num> = N extends _0
 	: N extends _1
 	  ? N
 	  : Add<Fib<Pred<N>>, Fib<Sub<N, _2>>>;
+
+type Result = Add<_2, _2>;