@@ -123,12 +123,12 @@ instance Monad (Parser i t) where
123123 in runParser m t pos more lose succ'
124124 {-# INLINE (>>=) #-}
125125
126−plus :: (Monoid t) => Parser i t a -> Parser i t a -> Parser i t a
126+plus :: Parser i t a -> Parser i t a -> Parser i t a
127127plus f g = Parser $ \t pos more lose succ ->
128128 let lose' t' _pos' more' _ctx _msg = runParser g t' pos more' lose succ
129129 in runParser f t pos more lose' succ
130130
131−instance (Monoid t) => MonadPlus (Parser i t) where
131+instance MonadPlus (Parser i t) where
132132 mzero = fail "mzero"
133133 {-# INLINE mzero #-}
134134 mplus = plus
@@ -160,13 +160,13 @@ instance Applicative (Parser i t) where
160160 x <* y = x >>= \a -> y >> return a
161161 {-# INLINE (<*) #-}
162162
163−instance (Monoid t) => Monoid (Parser i t a) where
163+instance Monoid (Parser i t a) where
164164 mempty = fail "mempty"
165165 {-# INLINE mempty #-}
166166 mappend = plus
167167 {-# INLINE mappend #-}
168168
169−instance (Monoid t) => Alternative (Parser i t) where
169+instance Alternative (Parser i t) where
170170 empty = fail "empty"
171171 {-# INLINE empty #-}
172172