f :: Monad m => m a -> (a, m ()), with the law m == let (x,y) = f m in y >> return x. Discuss.
@ezyang you mean a class with this method? I can't see that function existing on its own.
-
-
@ezyang What else besides WriterT?
End of conversation
New conversation
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.