diff --git a/heavy-log-shortcuts.cabal b/heavy-log-shortcuts.cabal
--- a/heavy-log-shortcuts.cabal
+++ b/heavy-log-shortcuts.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 3b981391273a612ef21c6a06b2d58308ad147ebf75c032180f8f11df9ec51bb8
+-- hash: 8680ddc0570cd5483d66fd515e0c77e324c2956e9c0feba7ec11f14d5958f249
 
 name:           heavy-log-shortcuts
-version:        1.0.0
+version:        1.0.1
 synopsis:       Simle api for heavy logger
 description:    An alternative shortcut api for heavy-logger, removes vars functionality.
 category:       System
diff --git a/src/System/Log/Heavy/Short.hs b/src/System/Log/Heavy/Short.hs
--- a/src/System/Log/Heavy/Short.hs
+++ b/src/System/Log/Heavy/Short.hs
@@ -4,8 +4,12 @@
 -- | Wraps the monad logger library
 --   Bunch of aliases for heavy logger, simpler api
 module System.Log.Heavy.Short
-  ( run
+  (
+  -- * LoggingT actions
+    run
   , discard
+  , lift
+  -- * Log stuff
   , info
   , debug
   , warn
@@ -15,7 +19,6 @@
   , warn0
   , error0
   , dump
-  , lift
   ) where
 
 import           Control.Monad.IO.Class
@@ -61,38 +64,30 @@
   -> m ()
 dump d = debug0 $ showT d
 
--- | Log func with a variable
-type VarLog
-   = forall m a. (MonadIO m, HasLogging m, Show a) =>
-                   Text.Text -> a -> m ()
-
--- | Log func that just accepts text
-type SimpleLog
-   = forall m. (MonadIO m, HasLogging m) =>
-                 Text.Text -> m ()
-
-info :: VarLog
+-- | Log func with a variable (or tupple)
+info :: forall m a. (MonadIO m, HasLogging m, Show a) => Text.Text -> a -> m ()
 info d b = info0 $ d <> showT b
 
-info0 :: SimpleLog
+-- | Log func that just accepts text
+info0 :: forall m. (MonadIO m, HasLogging m) => Text.Text -> m ()
 info0 = monkeyPatch Logcut.info
 
-debug :: VarLog
+debug :: forall m a. (MonadIO m, HasLogging m, Show a) => Text.Text -> a -> m ()
 debug d b = debug0 $ d <> showT b
 
-debug0 :: SimpleLog
+debug0 :: forall m. (MonadIO m, HasLogging m) => Text.Text -> m ()
 debug0 = monkeyPatch Logcut.debug
 
-warn :: VarLog
+warn :: forall m a. (MonadIO m, HasLogging m, Show a) => Text.Text -> a -> m ()
 warn d b = warn0 $ d <> showT b
 
-warn0 :: SimpleLog
+warn0 :: forall m. (MonadIO m, HasLogging m) => Text.Text -> m ()
 warn0 = monkeyPatch Logcut.warning
 
-error :: VarLog
+error :: forall m a. (MonadIO m, HasLogging m, Show a) => Text.Text -> a -> m ()
 error d b = error0 $ d <> showT b
 
-error0 :: SimpleLog
+error0 :: forall m. (MonadIO m, HasLogging m) => Text.Text -> m ()
 error0 = monkeyPatch Logcut.reportError
 
 -- | Heavy logger will eat { and }, we replace them with < and >