diff --git a/Control/Monad/Logic.hs b/Control/Monad/Logic.hs
--- a/Control/Monad/Logic.hs
+++ b/Control/Monad/Logic.hs
@@ -164,13 +164,13 @@
 
 instance Applicative Logic where
     pure = Logic . return
-    (Logic f) <*> (Logic a) = Logic . LogicT $ \sk fk ->
-      unLogicT f (\g fk' -> unLogicT a (sk . g) fk') fk
+    (Logic f) <*> (Logic a) = (Logic . LogicT) (\sk fk ->
+      unLogicT f (\g fk' -> unLogicT a (sk . g) fk') fk)
 
 instance Alternative Logic where
-    empty = Logic . LogicT $ \_ fk -> fk
-    (Logic a1) <|> (Logic a2) = Logic . LogicT $ \sk fk ->
-      unLogicT a1 sk (unLogicT a2 sk fk)
+    empty = (Logic . LogicT) (\_ fk -> fk)
+    (Logic a1) <|> (Logic a2) = (Logic . LogicT) (\sk fk ->
+      unLogicT a1 sk (unLogicT a2 sk fk))
 
 instance Monad Logic where
     return = Logic . return
diff --git a/logict.cabal b/logict.cabal
--- a/logict.cabal
+++ b/logict.cabal
@@ -1,5 +1,5 @@
 Name:                   logict
-Version:                0.4
+Version:                0.4.1
 Description:            A continuation-based, backtracking, logic programming monad.
                         An adaptation of the two-continuation implementation found
                         in the paper "Backtracking, Interleaving, and Terminating