remove unused constraint

This commit is contained in:
Edward Kmett 2015-03-08 10:42:23 +00:00
parent 031cf37899
commit a28de13a26

View File

@ -203,7 +203,7 @@ instance Applicative (IntAccumR s) where
-- applicative composition with a strict integer state applicative
newtype AccT m a = AccT (Int# -> Acc (m a))
runAccT :: Applicative m => AccT m a -> Int -> m a
runAccT :: AccT m a -> Int -> m a
runAccT (AccT m) (I# i) = extractAcc (m i)
{-# INLINE runAccT #-}