diff --git a/src/Control/Monad/Logic/Trans.purs b/src/Control/Monad/Logic/Trans.purs
index e37e0d5..692943d 100644
--- a/src/Control/Monad/Logic/Trans.purs
+++ b/src/Control/Monad/Logic/Trans.purs
@@ -1,4 +1,4 @@
-module Control.Monad.Logic.Trans (SFKT, runSFKT, runSFKTOnce) where
+module Control.Monad.Logic.Trans (SFKT(..), FK, SK, unSFKT, runSFKT, runSFKTOnce) where
 
 import Prelude (class Applicative, class Apply, class Bind, class Functor, class Monad, bind, pure, ($), (<<<), (>>=), const, Unit, unit)
 import Control.Monad.Logic.Class