diff --git a/resin.cabal b/resin.cabal
--- a/resin.cabal
+++ b/resin.cabal
@@ -10,7 +10,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.2.0.0
+version:             0.2.0.1
 
 -- A short (one-line) description of the package.
 synopsis:            High performance variable binders
diff --git a/src/Resin/Binders/Tree/Internal.hs b/src/Resin/Binders/Tree/Internal.hs
--- a/src/Resin/Binders/Tree/Internal.hs
+++ b/src/Resin/Binders/Tree/Internal.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE FlexibleContexts,FlexibleInstances,GADTs,DataKinds, PolyKinds, KindSignatures #-}
 {-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE TypeInType #-}
+-- {-# LANGUAGE TypeInType #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE TypeOperators #-}
@@ -50,7 +50,7 @@
 {- | `Inject` is about
 
 -}
-data Inject :: (k -> Type ) -> k -> k -> Type where
+data Inject :: (k -> * ) -> k -> k -> *  where
   InjectRefl :: forall f a b . IxEq f a b->  Inject f a b
   --MonoId :: forall f  i .  (f i) -> Inject f i i
   -- should MonoId be strict in its argument?