TypeLevel.Number.Nat: fix bad instance for Add0Bit

Shimuuar · Oct 16, 2013 · 2ddde6d · 2ddde6d
1 parent e8dc518
commit 2ddde6d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/TypeLevel/Number/Nat.hs b/TypeLevel/Number/Nat.hs
@@ -198,7 +198,8 @@ instance (Nat (I n)) => Reify (I n) Int64 where witness = Witness $ toInt (undef
 -- equal to zero. Actual normalization is done here.
 type family   Add0Bit n :: *
 type instance Add0Bit    Z  = Z
-type instance Add0Bit (a b) = (O (a b))
+type instance Add0Bit (O n) = (O (O n))
+type instance Add0Bit (I n) = (O (I n))
 
 type instance Normalized    Z  = Z
 type instance Normalized (I n) = I (Normalized n)