runWriter package:bluefin

runWriter :: forall w (es :: Effects) r . Monoid w => (forall (e :: Effects) . () => Writer w e -> Eff (e :& es) r) -> Eff es (r, w)
bluefin Bluefin.Writer
>>> getAny $ snd $ runPureEff $ runWriter $ \w -> do
-- Non-empty list (the tell event does happen)
for_ [1 .. 10] $ \_ -> tell w (Any True)
True