@@ -25,9 +25,8 @@ module Language.PureScript.Sugar.TypeDeclarations (
2525#if __GLASGOW_HASKELL__ < 710
2626import Control.Applicative
2727#endif
28−import Control.Monad (forM, when)
28+import Control.Monad (forM)
2929import Control.Monad.Error.Class (MonadError(..))
30−import Control.Monad.Writer.Class (MonadWriter(tell))
3130
3231import Language.PureScript.AST
3332import Language.PureScript.Names
@@ -38,7 +37,7 @@ import Language.PureScript.Traversals
3837-- |
3938-- Replace all top level type declarations in a module with type annotations
4039--
41−desugarTypeDeclarationsModule :: forall m. (Functor m, Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => [Module] -> m [Module]
40+desugarTypeDeclarationsModule :: forall m. (Functor m, Applicative m, MonadError MultipleErrors m) => [Module] -> m [Module]
4241desugarTypeDeclarationsModule ms = forM ms $ \(Module ss coms name ds exps) ->
4342 rethrow (addHint (ErrorInModule name)) $
4443 Module ss coms name <$> desugarTypeDeclarations ds <*> pure exps