Re-introduce Safe Haskell

Control/Monad/Cont.hs

+{-# LANGUAGE Safe #-}
+
 {- |
 Module      :  Control.Monad.Cont
 Copyright   :  (c) The University of Glasgow 2001,

Control/Monad/Cont/Class.hs

+{-# LANGUAGE Safe #-}
 -- Needed because the CPSed versions of Writer and State are secretly State
 -- wrappers, which don't force such constraints, even though they should legally
 -- be there.

Control/Monad/Error/Class.hs

@@ -2,6 +2,7 @@
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE Safe #-}
 -- Needed because the CPSed versions of Writer and State are secretly State
 -- wrappers, which don't force such constraints, even though they should legally
 -- be there.

Control/Monad/Except.hs

-{-# LANGUAGE CPP #-}
+{-# LANGUAGE Safe #-}
 {- |
 Module      :  Control.Monad.Except
 Copyright   :  (c) Michael Weber <michael.weber@post.rwth-aachen.de> 2001,

Control/Monad/Identity.hs

+{-# LANGUAGE Safe #-}
 {- |
 Module      :  Control.Monad.Identity
 Copyright   :  (c) Andy Gill 2001,

Control/Monad/RWS.hs

+{-# LANGUAGE Safe #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS

Control/Monad/RWS/CPS.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS.Strict

Control/Monad/RWS/Class.hs

 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE UndecidableInstances #-}
 -- Search for UndecidableInstances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE Safe #-}
 
 -----------------------------------------------------------------------------
 -- |

Control/Monad/RWS/Lazy.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS.Lazy

Control/Monad/RWS/Strict.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS.Strict

Control/Monad/Reader.hs

+{-# LANGUAGE Safe #-}
 {- |
 Module      :  Control.Monad.Reader
 Copyright   :  (c) Andy Gill 2001,

Control/Monad/Reader/Class.hs

+{-# LANGUAGE Safe #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE MultiParamTypeClasses #-}

Control/Monad/State.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.State

Control/Monad/State/Class.hs

+{-# LANGUAGE Safe #-}
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE MultiParamTypeClasses #-}

Control/Monad/State/Lazy.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.State.Lazy

Control/Monad/State/Strict.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.State.Strict

Control/Monad/Trans.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.Trans

Control/Monad/Writer.hs

+{-# LANGUAGE Safe #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.Writer

Control/Monad/Writer/CPS.hs

+{-# LANGUAGE Safe #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.Writer.Strict

Control/Monad/Writer/Class.hs

+{-# LANGUAGE Safe #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE MultiParamTypeClasses #-}