Re: Proposal: Adding Kleisli composition to Control.Monad

On Mon, 13 Nov 2006, Ashley Yakeley wrote:

Donald Bruce Stewart wrote:

...

forever :: (Monad m) => m a -> m ()

This should be:

forever :: (Monad m) => m a -> m b

forever even has a different type than repeatM_. More reason to have both. -- Russell O'Connor <http://r6.ca/> ``All talk about `theft,''' the general counsel of the American Graphophone Company wrote, ``is the merest claptrap, for there exists no property in ideas musical, literary or artistic, except as defined by statute.''