@@ -19,11 +19,6 @@ class (Monoid w, Monad m) => MonadWriter w (m : Type -> Type) where
1919record WriterT (w : Type) (m : Type -> Type) (a : Type) where
2020 constructor WR
2121 runWriterT : m (a, w)
22−{-
23−record WriterT : Type -> (Type -> Type) -> Type -> Type where
24− WR : {m : Type -> Type} ->
25− (runWriterT : m (a, w)) -> WriterT w m a
26−-}
2722
2823instance Functor f => Functor (WriterT w f) where
2924 map f (WR g) = WR $ map (\w => (f . fst $ w, snd w)) g