diff --git a/mzv.cabal b/mzv.cabal
--- a/mzv.cabal
+++ b/mzv.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                mzv
-version:             0.1.0.0
+version:             0.1.0.1
 synopsis:            Implementation of the "Monads, Zippers and Views" (Schrijvers and Oliveira, ICFP'11)
 description:         Implementation of the "Monads, Zippers and Views" (Schrijvers and Oliveira, ICFP'11)
 homepage:     	     http://github.com/ifigueroap/mzv
diff --git a/src/Control/Monad/List.hs b/src/Control/Monad/List.hs
--- a/src/Control/Monad/List.hs
+++ b/src/Control/Monad/List.hs
@@ -1,4 +1,7 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+
 -- Needed for the same reasons as in Reader, State etc
 
 -----------------------------------------------------------------------------
diff --git a/src/Control/Monad/RWS/Lazy.hs b/src/Control/Monad/RWS/Lazy.hs
--- a/src/Control/Monad/RWS/Lazy.hs
+++ b/src/Control/Monad/RWS/Lazy.hs
@@ -1,4 +1,7 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS.Lazy
diff --git a/src/Control/Monad/RWS/Strict.hs b/src/Control/Monad/RWS/Strict.hs
--- a/src/Control/Monad/RWS/Strict.hs
+++ b/src/Control/Monad/RWS/Strict.hs
@@ -1,4 +1,7 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS.Strict
diff --git a/src/Control/Monad/State/Strict.hs b/src/Control/Monad/State/Strict.hs
--- a/src/Control/Monad/State/Strict.hs
+++ b/src/Control/Monad/State/Strict.hs
@@ -1,5 +1,6 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
 
 -----------------------------------------------------------------------------
 -- |
diff --git a/src/Control/Monad/Writer/Strict.hs b/src/Control/Monad/Writer/Strict.hs
--- a/src/Control/Monad/Writer/Strict.hs
+++ b/src/Control/Monad/Writer/Strict.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE UndecidableInstances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
 
 -----------------------------------------------------------------------------
 -- |