diff --git a/Proof/Equational.hs b/Proof/Equational.hs
--- a/Proof/Equational.hs
+++ b/Proof/Equational.hs
@@ -166,8 +166,13 @@
 coerce' Refl a = unsafeCoerce a
 {-# INLINE coerce' #-}
 
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707
 class Proposition (f :: k -> *) where
+  type OriginalProp (f :: k -> *) (n :: k) :: *    
+#else
+class Proposition f where
   type OriginalProp f n :: *
+#endif
   unWrap :: f n -> OriginalProp f n
   wrap   :: OriginalProp f n -> f n
 
diff --git a/equational-reasoning.cabal b/equational-reasoning.cabal
--- a/equational-reasoning.cabal
+++ b/equational-reasoning.cabal
@@ -2,7 +2,7 @@
 --  documentation, see http://haskell.org/cabal/users-guide/
 
 name:                equational-reasoning
-version:             0.2.0.1
+version:             0.2.0.2
 synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds
 description:         A simple convenient library to write equational / preorder proof as in Agda.
 license:             BSD3