diff --git a/src/GHC/TypeLits/Compat.hs b/src/GHC/TypeLits/Compat.hs
--- a/src/GHC/TypeLits/Compat.hs
+++ b/src/GHC/TypeLits/Compat.hs
@@ -1,3 +1,5 @@
+{-# OPTIONS_HADDOCK ignore-exports #-}
+
 {-# LANGUAGE ExistentialQuantification #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -9,6 +11,40 @@
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE CPP #-}
+
+-- | this module exports:
+--
+-- Kinds:
+--
+-- @
+-- Nat
+-- Symbol
+-- @
+--
+-- Classes:
+--
+-- @
+-- KnownNat n
+-- KnownSymbol n
+-- @
+--
+-- Values:
+--
+-- @
+-- natVal :: forall n proxy. KnownNat n => proxy n -> Integer
+-- symbolVal :: forall n proxy. KnownSymbol n => proxy n -> String
+-- @
+--
+-- types
+--
+-- @
+-- type (<=) x y = (x <=? y) ~ True
+--
+-- type family m <=? n :: Bool
+-- type family m + n :: Nat
+-- type family m * n :: Nat
+-- type family m * n :: Nat
+-- @
 
 module GHC.TypeLits.Compat
     ( -- * Kinds
diff --git a/types-compat.cabal b/types-compat.cabal
--- a/types-compat.cabal
+++ b/types-compat.cabal
@@ -1,5 +1,5 @@
 name:                types-compat
-version:             0.1.0
+version:             0.1.1
 synopsis:            ghc-7.6/7.8 compatible GHC.TypeLits, Data.Typeable and Data.Proxy.
 license:             MIT
 license-file:        LICENSE