diff --git a/Data/Functor/Representable/Trie.hs b/Data/Functor/Representable/Trie.hs
--- a/Data/Functor/Representable/Trie.hs
+++ b/Data/Functor/Representable/Trie.hs
@@ -32,6 +32,8 @@
 import Control.Monad.Representable.Reader
 import Data.Bits
 import Data.Distributive
+import Data.Word
+import Data.Int
 import Data.Foldable
 import Data.Function (on)
 import Data.Functor.Adjunction
@@ -330,6 +332,47 @@
 -- TODO: fix the show instance of this
 instance HasTrie Int where
   type BaseTrie Int = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+
+instance HasTrie Int8 where
+  type BaseTrie Int8 = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+
+instance HasTrie Int16 where
+  type BaseTrie Int16 = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+
+instance HasTrie Int32 where
+  type BaseTrie Int32 = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+
+instance HasTrie Int64 where
+  type BaseTrie Int64 = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+
+instance HasTrie Word where
+  type BaseTrie Word = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+instance HasTrie Word8 where
+  type BaseTrie Word8 = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+instance HasTrie Word16 where
+  type BaseTrie Word16 = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+instance HasTrie Word32 where
+  type BaseTrie Word32 = BaseTrie (Bool, [Bool])
+  embedKey = embedKey . bitsZ 
+  projectKey = unbitsZ . projectKey
+instance HasTrie Word64 where
+  type BaseTrie Word64 = BaseTrie (Bool, [Bool])
   embedKey = embedKey . bitsZ 
   projectKey = unbitsZ . projectKey
 
diff --git a/representable-tries.cabal b/representable-tries.cabal
--- a/representable-tries.cabal
+++ b/representable-tries.cabal
@@ -1,6 +1,6 @@
 name:          representable-tries
 category:      Data Structures, Functors, Monads, Comonads
-version:       1.8.0
+version:       1.8.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE