diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+1.0.6
+-----
+* Marked modules `Trustworthy`
+
 1.0.5
 ---
 * Removed the upper bound on void.
diff --git a/categories.cabal b/categories.cabal
--- a/categories.cabal
+++ b/categories.cabal
@@ -1,6 +1,6 @@
 name:          categories
 category:      Control
-version:       1.0.5
+version:       1.0.6
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
diff --git a/src/Control/Categorical/Bifunctor.hs b/src/Control/Categorical/Bifunctor.hs
--- a/src/Control/Categorical/Bifunctor.hs
+++ b/src/Control/Categorical/Bifunctor.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts #-}
 -------------------------------------------------------------------------------------------
 -- |
diff --git a/src/Control/Categorical/Functor.hs b/src/Control/Categorical/Functor.hs
--- a/src/Control/Categorical/Functor.hs
+++ b/src/Control/Categorical/Functor.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, UndecidableInstances, FlexibleInstances #-}
 -------------------------------------------------------------------------------------------
 -- |
diff --git a/src/Control/Category/Associative.hs b/src/Control/Category/Associative.hs
--- a/src/Control/Category/Associative.hs
+++ b/src/Control/Category/Associative.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 {-# LANGUAGE MultiParamTypeClasses #-}
 -------------------------------------------------------------------------------------------
 -- |
diff --git a/src/Control/Category/Braided.hs b/src/Control/Category/Braided.hs
--- a/src/Control/Category/Braided.hs
+++ b/src/Control/Category/Braided.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 {-# LANGUAGE MultiParamTypeClasses #-}
 -------------------------------------------------------------------------------------------
 -- |
@@ -46,7 +50,7 @@
 instance Braided (->) (,) where
     braid ~(a,b) = (b,a)
 
-{- RULES
+{-- RULES
 "braid/associate/braid"         second braid . associate . first braid    = associate . braid . associate
 "braid/disassociate/braid"      first braid . disassociate . second braid = disassociate . braid . disassociate
   --}
diff --git a/src/Control/Category/Cartesian.hs b/src/Control/Category/Cartesian.hs
--- a/src/Control/Category/Cartesian.hs
+++ b/src/Control/Category/Cartesian.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, TypeOperators, FlexibleContexts, FlexibleInstances, UndecidableInstances #-}
 -------------------------------------------------------------------------------------------
 -- |
diff --git a/src/Control/Category/Cartesian/Closed.hs b/src/Control/Category/Cartesian/Closed.hs
--- a/src/Control/Category/Cartesian/Closed.hs
+++ b/src/Control/Category/Cartesian/Closed.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, TypeOperators, FlexibleContexts #-}
 -------------------------------------------------------------------------------------------
 -- |
diff --git a/src/Control/Category/Distributive.hs b/src/Control/Category/Distributive.hs
--- a/src/Control/Category/Distributive.hs
+++ b/src/Control/Category/Distributive.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 {-# LANGUAGE TypeOperators #-}
 -------------------------------------------------------------------------------------------
 -- |
@@ -19,7 +23,6 @@
 
 import Prelude hiding (Functor, map, (.), id, fst, snd, curry, uncurry)
 import Control.Categorical.Bifunctor
-import Control.Category
 import Control.Category.Cartesian
 
 -- | The canonical factoring morphism.
@@ -36,7 +39,7 @@
     distribute (a, Left b) = Left (a,b)
     distribute (a, Right c) = Right (a,c)
 
-{-# RULES
+{-- RULES
 "factor . distribute" factor . distribute = id
 "distribute . factor" distribute . factor = id
-  #-}
+  --}
diff --git a/src/Control/Category/Dual.hs b/src/Control/Category/Dual.hs
--- a/src/Control/Category/Dual.hs
+++ b/src/Control/Category/Dual.hs
@@ -1,4 +1,8 @@
 {-# LANGUAGE TypeOperators, FlexibleContexts #-}
+{-# LANGUAGE CPP #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 -------------------------------------------------------------------------------------------
 -- |
 -- Module   : Control.Category.Dual