diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for tuple-sop
 
+## 0.2.0.0 -- 2018-24-04
+
+* Removed type family dependencies
+
 ## 0.1.0.0 -- 2018-13-04
 
 * Initial release
diff --git a/src/Data/Tuple/Ops.hs b/src/Data/Tuple/Ops.hs
--- a/src/Data/Tuple/Ops.hs
+++ b/src/Data/Tuple/Ops.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE GADTs                  #-}
+{-# LANGUAGE TypeFamilies           #-}
 {-# LANGUAGE TypeOperators          #-}
 {-# LANGUAGE DataKinds              #-}
 {-# LANGUAGE KindSignatures         #-}
@@ -10,7 +11,6 @@
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE ConstraintKinds        #-}
 {-# LANGUAGE RankNTypes             #-}
-{-# LANGUAGE TypeFamilyDependencies #-}
 module Data.Tuple.Ops
   ( -- * Selection
     sel
@@ -607,7 +607,7 @@
   Relation' n m 0 j = n :<= m
   Relation' n m i j = Relation' n m (i - 1) (j - 1)
 
-type family ToTuple s = t | t -> s where
+type family ToTuple s where
   ToTuple (NP I '[a, b]) = (a,b)
   ToTuple (NP I '[a, b, c]) = (a,b,c)
   ToTuple (NP I '[a, b, c, d]) = (a,b,c,d)
diff --git a/tuple-sop.cabal b/tuple-sop.cabal
--- a/tuple-sop.cabal
+++ b/tuple-sop.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: b998f09418c853e1d134628dc31b5fdcd245d1090811aa276d89cd874053d36b
+-- hash: e77c3d45ec479b07d6f2ba048fdb280ab02003570f446ec3d3e7e5e17b599f90
 
 name:           tuple-sop
-version:        0.1.0.0
+version:        0.2.0.0
 synopsis:       functions on n-ary tuples using generics-sop
 description:    Exports various functions on n-ary tuples. This library uses generics-sop to create a generic representation of n-ary product types. To regain type inference, the exported functions work only on tuples with at most 10 components.
 category:       Data