diff --git a/Annotations.cabal b/Annotations.cabal
--- a/Annotations.cabal
+++ b/Annotations.cabal
@@ -1,5 +1,5 @@
 Name:           Annotations
-Version:        0.2.1
+Version:        0.2.2
 Synopsis:       Constructing, analyzing and destructing annotated trees
 Description:
   @Annotations@ provides utility functions to make working with annotated trees easier. There are two implementations: one for working with open datatypes that explicitly make their child positions accessible through a type argument, and one for working with MultiRec datatypes.
diff --git a/Annotations/F/Fixpoints.hs b/Annotations/F/Fixpoints.hs
--- a/Annotations/F/Fixpoints.hs
+++ b/Annotations/F/Fixpoints.hs
@@ -22,7 +22,13 @@
 newtype Fix fT  = In    { out      :: fT (Fix fT)  }
 
 deriving instance Show (f (Fix f)) => Show (Fix f)
-deriving instance Eq (f (Fix f)) => Eq (Fix f)
+-- deriving instance Eq (f (Fix f)) => Eq (Fix f)
+--
+-- Deriving this instance results in compilation taking forever on GHC 8.0.1
+-- and later (see https://ghc.haskell.org/trac/ghc/ticket/12234). This is
+-- a workaround until that issue is fixed.
+instance Eq (f (Fix f)) => Eq (Fix f) where
+  In x == In y = x == y
 
 mapFix :: (f (Fix f) -> g (Fix g)) -> Fix f -> Fix g
 mapFix f = In . f . out
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2008-2015, Martijn van Steenbergen
+Copyright (c) 2008-2016, Martijn van Steenbergen
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without