@@ -201,6 +201,7 @@ type MonadAsync m = (MonadIO m, MonadBaseControl IO m, MonadThrow m)
201201------------------------------------------------------------------------------
202202
203203instance MonadAsync m => Monad (AsyncT m) where
204+ {-# SPECIALIZE instance Monad (AsyncT IO) #-}
204205 return a = AsyncT . return $ Just a
205206 m >>= f = bind
206207
@@ -544,6 +545,7 @@ makeAsync cbsetter = AsyncT $ do
544545------------------------------------------------------------------------------
545546
546547instance MonadAsync m => Alternative (AsyncT m) where
548+ {-# SPECIALIZE instance Alternative (AsyncT IO) #-}
547549 empty = AsyncT $ return Nothing
548550 (<|>) m1 m2 = AsyncT $ do
549551 r <- runAsyncTask False m1
@@ -561,6 +563,7 @@ instance (Monoid a, MonadAsync m) => Monoid (AsyncT m a) where
561563 mempty = return mempty
562564
563565-- scatter
566+{-# SPECIALIZE each :: [a] -> AsyncT IO a #-}
564567each :: (MonadIO m, MonadBaseControl IO m, MonadThrow m)
565568 => [a] -> AsyncT m a
566569each xs = foldr (<|>) empty $ map return xs