1 files changed, 1 insertions, 1 deletions

diff --git a/src/nat.ts b/src/nat.ts
index 0017489..7491e82 100644
--- a/src/nat.ts
+++ b/src/nat.ts
@@ -2,7 +2,7 @@ import { Op } from './util';
 
 export type Add<A extends Op, B extends Op> = { op: '+'; a: A; b: B };
 export type Multiply<A extends Op, B extends Op> = { op: '*'; a: A; b: B };
-export type Succ<A extends Op> = Add<'1', A>;
+export type Succ<A extends Op> = { op: 'succ', a: A };
 
 export type _0 = '0'
 export type _1 = Succ<_0>