diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+# Version 1.0.2
+
+* Added `Df1`, `Df1T` and `MonadDf1` type-synonyms.
+
+
 # Version 1.0.1
 
 * Removed unnecessary `MonadIO` constraint.
diff --git a/di-df1.cabal b/di-df1.cabal
--- a/di-df1.cabal
+++ b/di-df1.cabal
@@ -1,5 +1,5 @@
 name: di-df1
-version: 1.0.1
+version: 1.0.2
 author: Renzo Carbonara
 maintainer: renλren.zone
 copyright: Renzo Carbonara 2018
diff --git a/lib/Di/Df1.hs b/lib/Di/Df1.hs
--- a/lib/Di/Df1.hs
+++ b/lib/Di/Df1.hs
@@ -15,8 +15,10 @@
 -- Consider this a preview release: The API is likely to stay stable, but
 -- extensive testing, formalization and tooling is due.
 module Di.Df1
- ( -- * Hierarchy
-   push
+ ( Df1
+
+   -- * Hierarchy
+ , push
    -- * Metadata
  , attr
    -- * Messages
@@ -53,6 +55,22 @@
 import qualified Di.Core as Di (Di, Log(Log), log, log', push)
 import qualified Di.Handle as Di (LineRenderer(LineRendererUtf8))
 import qualified Df1
+
+--------------------------------------------------------------------------------
+
+-- | Convenience type-synonym for a 'Di.Di' restricted to all the /df1/
+-- monomorphic types.
+--
+-- @
+-- 'Df1' == 'Di.Di' 'Df1.Level' 'Df1.Path' 'Df1.Message'
+--    :: *
+-- @
+--
+-- This type-synonym is not used within the @di-df1@ library itself because
+-- all functions exposed in the library have more general types. However,
+-- users are encouraged to use 'Df1' if they find it useful to reduce
+-- boilerplate and improve type inferrence.
+type Df1 = Di.Di Df1.Level Df1.Path Df1.Message
 
 --------------------------------------------------------------------------------
 
diff --git a/lib/Di/Df1/Monad.hs b/lib/Di/Df1/Monad.hs
--- a/lib/Di/Df1/Monad.hs
+++ b/lib/Di/Df1/Monad.hs
@@ -1,9 +1,13 @@
+{-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE FlexibleContexts #-}
 
 -- | This module exports an API compatible with "Di.Monad".
 module Di.Df1.Monad
- ( -- * Hierarchy
-   push
+ ( Df1T
+ , MonadDf1
+
+   -- * Hierarchy
+ , push
    -- * Metadata
  , attr
    -- * Messages
@@ -20,7 +24,46 @@
 import Prelude hiding (error)
 
 import qualified Df1
-import qualified Di.Monad as Di (MonadDi, log, push)
+import qualified Di.Monad as Di
+
+--------------------------------------------------------------------------------
+
+-- | Convenience type-synonym for a 'Di.DiT' restricted to all the /df1/
+-- monomorphic types.
+--
+-- @
+-- 'Df1T' == 'Di.DiT' 'Df1.Level' 'Df1.Path' 'Df1.Message'
+--    :: (* -> *) -> * -> *
+--
+-- 'Df1T' m == 'Di.DiT' 'Df1.Level' 'Df1.Path' 'Df1.Message' m
+--    :: * -> *
+--
+-- 'Df1T' m a == 'Di.DiT' 'Df1.Level' 'Df1.Path' 'Df1.Message' m a
+--    :: *
+-- @
+--
+-- This type-synonym is not used within the @di-df1@ library itself because
+-- all functions exposed in the library have more general types. However,
+-- users are encouraged to use 'MonadDf1' if they find it useful to reduce
+-- boilerplate and improve type inferrence.
+type Df1T = Di.DiT Df1.Level Df1.Path Df1.Message
+
+-- | Convenience type-synonym for a 'Di.MonadDi' restricted to all the /df1/
+-- monomorphic types.
+--
+-- @
+-- 'MonadDf1' == 'Di.MonadDi' 'Df1.Level' 'Df1.Path' 'Df1.Message'
+--    :: (* -> *) -> 'GHC.Exts.Constraint'
+--
+-- 'MonadDf1' m == 'Di.MonadDi' 'Df1.Level' 'Df1.Path' 'Df1.Message' m
+--    :: 'GHC.Exts.Constraint'
+-- @
+--
+-- This type-synonym is not used within the @di-df1@ library itself because
+-- all functions exposed in the library have more general types. However,
+-- users are encouraged to use 'MonadDf1' if they find it useful to reduce
+-- boilerplate and improve type inferrence.
+type MonadDf1 = Di.MonadDi Df1.Level Df1.Path Df1.Message
 
 --------------------------------------------------------------------------------