diff --git a/bsrc/Data/Bool.bs b/bsrc/Data/Bool.bs
index 94984eb..5403133 100644
--- a/bsrc/Data/Bool.bs
+++ b/bsrc/Data/Bool.bs
@@ -1,11 +1,11 @@
 module Data.Bool
 
-datatype Bool = True | False;
+datatype Bool = True() | False();
 
 export (&)(x :: Bool, y :: Bool) :: Bool = prim%and;
 export (|)(x :: Bool, y :: Bool) :: Bool = prim%or;
 export (^)(x :: Bool, y :: Bool) :: Bool = prim%xor;
-export (not)(x :: Bool) :: Bool = prim%not;
+export not(x :: Bool) :: Bool = prim%not;
 export otherwise :: Bool = True;