Re: [Haskell-cafe] "Wrong kind" when attempting to build a monad for a circular list of functions

On Thu, Feb 28, 2008 at 7:44 AM, Felipe Lessa wrote:

Bas van Dijk's 'always' (also called 'forever'[1])

Sorry, of course always' :: Monad m => (a -> m a) -> (a -> m ()) forever :: Monad m => (m a) -> (m ()) are of different types and so are different functions. -- Felipe.