diff --git a/hinterface.cabal b/hinterface.cabal
--- a/hinterface.cabal
+++ b/hinterface.cabal
@@ -1,6 +1,6 @@
 cabal-version: >=1.22
 name: hinterface
-version: 0.8.1
+version: 0.8.2
 license: BSD3
 license-file: LICENSE
 copyright: 2016-2018 Timo Koepke, Sven Heyll
diff --git a/test/Foreign/Erlang/Term2Experimental.hs b/test/Foreign/Erlang/Term2Experimental.hs
--- a/test/Foreign/Erlang/Term2Experimental.hs
+++ b/test/Foreign/Erlang/Term2Experimental.hs
@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -Wno-unticked-promoted-constructors -Wno-missing-pattern-synonym-signatures #-}
+{-# LANGUAGE RankNTypes, TypeInType, ScopedTypeVariables, TypeOperators, GADTs #-}
 module Foreign.Erlang.Term2Experimental where
 
 import           GHC.TypeLits
@@ -27,13 +28,9 @@
 pattern Tup6 t1 t2 t3 t4 t5 t6 = ConsTuple t1 (Tup5 t2 t3 t4 t5 t6)
 pattern Tup7 t1 t2 t3 t4 t5 t6 t7 = ConsTuple t1 (Tup6 t2 t3 t4 t5 t6 t7)
 
-instance SomeTerm.FromTerm (Term Atoms) where
-  fromTerm a@(SomeTerm.Atom _) = Just (Atom (show a))
-  fromTerm _ = Nothing
-
-instance SomeTerm.FromTerm (Term Atoms) where
-  fromTerm a@(SomeTerm.Atom _) = Just (Atom (show a))
-  fromTerm _ = Nothing
+-- instance SomeTerm.FromTerm (Term Atoms) where
+--   fromTerm a@(SomeTerm.Atom _) = Just (Atom (show a))
+--   fromTerm _ = Nothing
 
 instance SomeTerm.ToTerm (Term t) where
   toTerm (Atom a) = SomeTerm.atom (fromString a)